4 Commits

Author	SHA1	Message	Date
Mark Thom	59992c8af2	remove number/3 from arithmetic.pl (#1170)	2022-01-18 17:38:45 -07:00
Regan-Koopmans	f5eadb2957	981 Prefer must_be/2	2021-06-18 08:22:43 +02:00
Regan-Koopmans	72a7765b58	981 Reimplement as library system call	2021-06-17 12:10:25 +02:00
Mark Thom	33325f1574	remove vestigial prolog/ directory (#444)	2020-06-12 18:26:38 -06:00