| Name / Title | Added | Expires | Hits | Comments | Syntax | |
|---|---|---|---|---|---|---|
| Learning Peano successor/ predeessor functions. | Nov 10th, 2020 | Never | 1,287 | 0 | Prolog | - |
| Learning ordered/3 with correct </2, >/2 | Nov 10th, 2020 | Never | 756 | 0 | Prolog | - |
| Name / Title | Added | Expires | Hits | Comments | Syntax | |
|---|---|---|---|---|---|---|
| Learning Peano successor/ predeessor functions. | Nov 10th, 2020 | Never | 1,287 | 0 | Prolog | - |
| Learning ordered/3 with correct </2, >/2 | Nov 10th, 2020 | Never | 756 | 0 | Prolog | - |