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