7 lines
84 B
Prolog
7 lines
84 B
Prolog
|
?- mortal(socrates).
|
||
|
|
yes
|
||
|
|
?- student(X,socrates).
|
||
|
|
X=plato
|
||
|
|
?- student(socrates,X).
|
||
|
|
no
|