| Name | # Files | Name | # Files | Name | # Files | ||
|---|---|---|---|---|---|---|---|
| GNU | 4 | OpenProlog | 3 | OSX | 2 | ||
| SWI | 12 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| arithmetic.simp | Text File | 49 | 1KB | 2000-01-24 |
| array.simp | Text File | 10 | 240b | 2000-01-24 |
| clean.prolog | Text File | 99 | 3KB | 2002-07-29 |
| equality.simp | Text File | 55 | 1KB | 2000-01-24 |
| forth.simp | Text File | 11 | 477b | 2000-01-24 |
| logic.simp | Text File | 25 | 651b | 2000-01-24 |
| prover.prolog | Text File | 91 | 3KB | 2000-01-24 |
| README | Text File | 8 | 327b | 2002-07-29 |
| simplify.prolog | Text File | 59 | 2KB | 1999-02-07 |
| stack.simp | Text File | 5 | 58b | 2000-01-24 |
| tautology.prolog | Text File | 102 | 3KB | 2002-07-29 |
| wang.prolog | Text File | 125 | 4KB | 2002-07-29 |
| Unknown | ||||
| Name | Format | Size | Date | |
|---|---|---|---|---|
| getTheories.prolog | Unknown | 2KB | 1999-02-15 | |
| operators.prolog | Unknown | 3KB | 1999-02-15 | |