patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Added example with simple propositions.

This commit is contained in:
Patrick Lühne 2017-06-12 15:42:23 +02:00
parent 1f1006ea96
commit 64c9a741c4
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
examples/propositions.lp Normal file
View File

@ -0,0 +1,11 @@
p :- q.
q :- not r.
{s; t} :- p.
:- s, not t.
:- r, q, p.
%#show p/0.
%#show q/0.
%#show r/0.
#show s/0.
#show t/0.