Skip to content

Instantly share code, notes, and snippets.

@emad-elsaid

emad-elsaid/logic.pl

Created June 16, 2010 20:14
Show Gist options
  • Save emad-elsaid/441200 to your computer and use it in GitHub Desktop.
Save emad-elsaid/441200 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
logic.pl
/* use true, false like that:
true/\false
true/\ ~false
true\/false\/true
...etc
*/
:- op( 350, xfy, /\ ).
:- op( 350, xfy, \/ ).
:- op( 300, fx, ~ ).
:
E1 /\ E2 :-
E1,
E2.
E1 \/ E2 :-
E1.
E1 \/ E2 :-
E2.
~E:-
E = false.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment