Blame view

code/asp/bachelor.lp 125 Bytes
808facfe   Francisco Coelho   Main text adapted...
1
person(joey).
7ae9c686   Francisco Coelho   2022-11-29 | Reun...
2
%married(X); -married(X) :- person(X).
53b3b48c   Francisco Coelho   Started pre-paper...
3
male(X); female(X) :- person(X).
7ae9c686   Francisco Coelho   2022-11-29 | Reun...
4
bachelor(X) :- male(X), not married(X).
808facfe   Francisco Coelho   Main text adapted...

7ae9c686   Francisco Coelho   2022-11-29 | Reun...