 Paulo Moura
|
495168e7bb
|
Fix halt/1 built-in predicate for ISO Prolog Core standard compliance
|
2022-03-06 21:33:49 +00:00 |
|
|
Paulo Moura
|
7ea20d9ce9
|
Fix the format/2-3 predicates missing the numbervars(true) option in the ~w and ~q formats
|
2021-11-08 22:00:02 +00:00 |
|
|
Paulo Moura
|
658b835a70
|
Fix the get_code/1-2 predicates to return -1 at the end of stream
|
2021-11-06 19:41:25 +00:00 |
|
|
Paulo Moura
|
490496f381
|
Add preliminary current_module/1 predicate definition requiring a bound argument
|
2021-09-24 10:13:00 +01:00 |
|
|
Paulo Moura
|
b9ad6f4fd2
|
Add pid/1 predicate to the os library
|
2021-05-18 20:05:30 +01:00 |
|
|
Paulo Moura
|
58555d598b
|
Add rename_file/2 predicate to the files library
|
2021-05-18 18:08:30 +01:00 |
|
|
Paulo Moura
|
eeac3bc436
|
Add delete_directory/1 predicate to the files library
|
2021-05-18 08:41:19 +01:00 |
|
|
Paulo Moura
|
bdebc7f32e
|
Add make_directory_path/1 predicate to the files library
|
2021-05-18 00:21:11 +01:00 |
|
|
Paulo Moura
|
0e263dd753
|
Fix current_predicate/1 predicate error checking
|
2021-05-16 23:49:21 +01:00 |
|
|
Paulo Moura
|
88a2cfc5e1
|
Fix retract_clause/2 internal predicate to correctly handle module qualification and no lose body bindings
|
2021-05-12 23:48:12 +01:00 |
|
|
Paulo Moura
|
fb29830521
|
Fix retractall/1 predicate to retract both facts and rules
|
2021-05-12 23:46:05 +01:00 |
|
|
Paulo Moura
|
6540fea4da
|
Fix at_end_of_stream/1 predicate missing check for instantiation error
|
2021-05-12 21:17:11 +01:00 |
|
|
Paulo Moura
|
4fd33b015e
|
Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2
|
2021-05-12 20:02:09 +01:00 |
|
|
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 |
|