Francisco Coelho / zugzwang | GitLab

808facfe Main text adapted to beamer Browse Code »

Francisco Coelho
2022-09-16 16:11:00 +0100

tutotial_01.lp 47 Bytes

Edit Raw Blame History

p(1;2).
q(1;2).
r(X,Y) :- p(X), q(Y), X != Y.