% Souffle uses // for comments, Prolog uses % for comments.
% Constants in Prolog begin with lower case letters: romeo, juliet, etc.
% Variables in Prolog begin with upper case letters: X, Y, etc.
% GNU Prolog, SWI Prolog

loves(romeo, juliet).
loves(X, Y) :- loves(Y, X).