Francisco Coelho / zugzwang

code/asp/bachelor.lp 124 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...