Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
35 lines (27 sloc) 416 Bytes
:- include(preprocess).
@X T @Y :-
\X T \Y;
\X // #Y;
\X on #Y;
#X T #Y.
@X // @Y :-
\X // \Y;
\X T #Y;
#X // #Y.
@X A @Y :-
\X A \Y;
\X A #Y;
#X A #Y.
@X T @Y :-
\X !T \Y;
\X !// #Y;
#X !T #Y.
@X !// @Y :-
\X !// \Y;
#X !// #Y.
@X A @Y :-
\X !A \Y;
\X !A #Y;
#X !A #Y.
go :- relation(@X, @Y, Z), format("~a ~a ~a~n", [Z,X,Y]), fail.
go.