2 lines
53 B
Prolog
2 lines
53 B
Prolog
student(X,Y) :- taught(Y,X).
|
|
taught(socrates,plato).
|
student(X,Y) :- taught(Y,X).
|
|
taught(socrates,plato).
|