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