Mirrors_Framework/deepmind-research
1
0
Fork 0
mirror of https://github.com/google-deepmind/deepmind-research.git synced 2026-05-10 05:17:46 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
582b26587ff543d41e615478cd3b0ef1cf149028
deepmind-research/satore/examples/socrates.p
T
Laurent Orseau 42f8d0aafe Internal 
PiperOrigin-RevId: 361132516
2021-03-09 09:52:43 +00:00

4 lines
177 B
OpenEdge ABL
Raw Blame History

cnf(humans_are_mortal, axiom, (~human(X) | mortal(X))).
cnf(socrates_is_human, hypothesis, (human(socrates))).
cnf(socrates_is_mortal, negated_conjecture, (~mortal(socrates))).
Reference in New Issue View Git Blame Copy Permalink