4 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Paulo Moura	d2fcdb3b6c	Fix abolish/1 predicate throw of instantiation_error	2021-05-12 19:39:20 +01:00
Paulo Moura	f7eda362c7	Add max_arity Prolog flag	2021-05-12 00:34:47 +01:00
Paulo Moura	42d9b57733	Fix querying bounded and integer_rounding_function flag values	2021-05-11 12:08:11 +01:00
Paulo Moura	785d8d28e3	add de facto standard forall/2 predicate as a built-in predicate	2019-04-03 11:58:29 +01:00