 Paulo Moura
|
d2fcdb3b6c
|
Fix abolish/1 predicate throw of instantiation_error
|
2021-05-12 19:39:20 +01:00 |
|
|
Paulo Moura
|
c2fe0876c2
|
Fix set_stream_position/2 predicate missing argument in exception term
|
2021-05-12 19:32:24 +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 |
|