mirror of
https://github.com/google-deepmind/deepmind-research.git
synced 2026-10-06 06:59:41 +08:00
4 lines
177 B
OpenEdge ABL
4 lines
177 B
OpenEdge ABL
cnf(humans_are_mortal, axiom, (~human(X) | mortal(X))).
|
|
cnf(socrates_is_human, hypothesis, (human(socrates))).
|
|
cnf(socrates_is_mortal, negated_conjecture, (~mortal(socrates))).
|