RosettaCodeData/Task/Variables/Prolog/variables-2.pro

3 lines
53 B
Prolog

student(X,Y) :- taught(Y,X).
taught(socrates,plato).