diff options
| author | Koen van der Heijden <koen.vd.heijden1@gmail.com> | 2017-01-14 20:06:41 +0100 |
|---|---|---|
| committer | Koen van der Heijden <koen.vd.heijden1@gmail.com> | 2017-01-14 20:06:41 +0100 |
| commit | 0db54aa974ded619a1644d8cd8daf9f9aa157898 (patch) | |
| tree | 82427b297934e2a17a2cf6726f2e1abdb2ca1a5c /logic/logic_a.in | |
| parent | 7b61d1db9459b60f403538716c30bc8fa7fd284c (diff) | |
| download | 2IMF25-AR-0db54aa974ded619a1644d8cd8daf9f9aa157898.tar.gz | |
3a done. 3b partially
Diffstat (limited to 'logic/logic_a.in')
| -rw-r--r-- | logic/logic_a.in | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/logic/logic_a.in b/logic/logic_a.in new file mode 100644 index 0000000..625351d --- /dev/null +++ b/logic/logic_a.in @@ -0,0 +1,9 @@ +formulas(sos). + a(x,x)=x. + a(x,y)=a(y,x). + a(x,a(y,z))=a(a(x,y),z). +end_of_list. + +formulas(goals). + all p all q (a(p,a(q,a(p,a(q,a(p,a(q,p))))))=a(p,q)). +end_of_list. |