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