Francisco Coelho / zugzwang

code/asp/bachelor.lp 147 Bytes

808facfe Francisco Coelho Main text adapted...	1	`person(joey).`
7ae9c686 Francisco Coelho 2022-11-29 \| Reun...	2
53b3b48c Francisco Coelho Started pre-paper...	3	`married(X); -married(X) :- person(X).`
7ae9c686 Francisco Coelho 2022-11-29 \| Reun...	4
808facfe Francisco Coelho Main text adapted...	5	`male(X); female(X) :- person(X).`
7ae9c686 Francisco Coelho 2022-11-29 \| Reun...	6 7 8 9	`bachelor(X) :- male(X), not married(X). #show bachelor/1.`