标签: prolog
说,我们有一些事实,如
musician(sokrates). philosopher(sokrates). two_legged(sokrates). dead(sokrates).
有没有办法向Prolog询问对'sokrates'有效的谓词:
X(sokrates).
我找了一些语法来做到这一点,但我无法想象一个解决方案。