向Prolog询问参数的谓词

时间:2018-04-12 16:57:29

标签: prolog

说,我们有一些事实,如

musician(sokrates).
philosopher(sokrates).
two_legged(sokrates).
dead(sokrates).

有没有办法向Prolog询问对'sokrates'有效的谓词:

X(sokrates).

我找了一些语法来做到这一点,但我无法想象一个解决方案。

0 个答案:

没有答案