Mark
|
58af615dd4
|
correct and generalize current_predicate/1
|
2023-06-28 17:31:43 -06:00 |
|
Mark
|
b593fffc7d
|
support module resolution in current_predicate/1 (#1817)
|
2023-06-27 11:08:29 -06:00 |
|
Mark
|
0e583d620a
|
implement new disjunction compilation
|
2023-06-23 14:11:31 -06:00 |
|
Mark
|
c5a3ec3ba8
|
fix current_predicate/1 (#1761)
|
2023-04-24 23:23:27 -06:00 |
|
Adrián Arroyo Calle
|
4c44859132
|
Fixes #1756
|
2023-03-12 16:47:20 +01:00 |
|
Adrián Arroyo Calle
|
e8408ca93f
|
Minor fixes to docs
|
2023-02-02 21:35:35 +01:00 |
|
Mark Thom
|
1118b37c92
|
Merge pull request #1674 from aarroyoc/docs-builtins
Compatible Doclog docs for builtins
|
2023-01-26 05:10:20 +01:00 |
|
Adrián Arroyo Calle
|
d755bb7e12
|
Apply feedback on builtins
|
2023-01-25 21:04:10 +01:00 |
|
Mark Thom
|
a7e93db363
|
improve retract/1 and related predicates (#1598)
|
2023-01-22 21:04:41 -07:00 |
|
Adrián Arroyo Calle
|
7647ad14b8
|
More feedback applied
|
2022-12-21 23:19:38 +01:00 |
|
Adrián Arroyo Calle
|
21e4347b3e
|
Apply some feedback
|
2022-12-21 22:32:36 +01:00 |
|
Adrián Arroyo Calle
|
f2d041ea23
|
Merge branch 'master' into docs-builtins
|
2022-12-21 21:29:22 +01:00 |
|
Adrián Arroyo Calle
|
56c1c4e43c
|
Compatible Doclog docs for builtins
|
2022-12-21 21:28:16 +01:00 |
|
Mark Thom
|
b4b72a3166
|
Merge pull request #1662 from mthom/interpreting_disj
Fix mishandled if-then-else interpretation (#1659)
|
2022-12-16 04:36:02 +01:00 |
|
Mark Thom
|
a5054c0064
|
use append/3 rather than set_difference/3 to gather witnesses in bagof/3 and setof/3 (#1663, #1664)
|
2022-12-12 23:55:55 -07:00 |
|
Mark Thom
|
4dc0114c52
|
fix mishandled if-then-else interpretation (#1659)
|
2022-12-11 16:35:32 -07:00 |
|
Mark Thom
|
28ea672e36
|
move asserta/2, assertz/2 to iso_ext
|
2022-11-10 06:47:32 +01:00 |
|
Mark Thom
|
23f59970cb
|
export asserta/2 (#1623)
|
2022-10-26 23:36:07 -06:00 |
|
Mark Thom
|
8781e03863
|
cache ball terms before unifying in handle_ball/3 (#1608)
|
2022-10-26 23:36:07 -06:00 |
|
Mark Thom
|
d4c0277065
|
don't return ops with priority 0 when building set for current_op (#1571)
|
2022-10-26 23:36:07 -06:00 |
|
Mark Thom
|
b51460a59a
|
fail on non-list solutions in setof/3 (#1553)
|
2022-10-26 23:36:07 -06:00 |
|
Mark Thom
|
5a08117e75
|
use separate predicate for findall cleanup
|
2022-10-26 23:36:07 -06:00 |
|
Mark Thom
|
6b05ee5130
|
streamline assertz/1, asserta/1
|
2022-10-26 23:36:07 -06:00 |
|
Mark Thom
|
1ffbf63d20
|
inline metacalls
|
2022-10-26 23:36:07 -06:00 |
|
Mark Thom
|
987bbdecf5
|
improve efficiency of call/N, replace '$call_with_default_policy' with
'$call_with_inference_counting'
|
2022-06-12 22:34:07 -06:00 |
|
Mark Thom
|
336311ecc8
|
replace call with $call in more meta-predicates
|
2022-06-06 09:28:03 -06:00 |
|
Mark Thom
|
4b7c2ba6c8
|
fix off-by-one error reporting in write_term/3 (#1490)
|
2022-05-30 23:25:44 -06:00 |
|
Markus Triska
|
6b49653754
|
use in_character
This addresses one aspect of #1472.
|
2022-05-22 23:04:27 +02:00 |
|
Mark Thom
|
b6f77f4e6f
|
check asserta/2, assertz/2, abolish/2 for uninstantiated Module variables (#1475)
|
2022-05-16 20:45:45 -06:00 |
|
Mark Thom
|
b96cd06129
|
detect character type errors in atom_{chars|codes}/2 (#1472)
|
2022-05-16 16:32:38 -06:00 |
|
Mark Thom
|
2f3de51e55
|
remove non-determinism in number_chars/2 and numbercodes/2 (#1473)
|
2022-05-13 18:38:58 -06:00 |
|
Mark Thom
|
cea1353fbb
|
use must_be(chars) in number_chars/2 (#1470)
|
2022-05-12 01:09:06 -06:00 |
|
Mark Thom
|
9d5264c5a3
|
very minor optimizations
|
2022-04-17 20:10:13 -06:00 |
|
Mark Thom
|
7595ec16e5
|
instantiate Module in definition of retract/1 (#1392)
|
2022-04-13 20:31:16 -06:00 |
|
Mark Thom
|
00eab4d415
|
print errors as goals (#1408)
|
2022-04-09 14:01:48 -06:00 |
|
Paulo Moura
|
0532f51cc2
|
Fix querying the values of the bounded and max_arity flags
|
2022-03-07 00:30:35 +00:00 |
|
Paulo Moura
|
495168e7bb
|
Fix halt/1 built-in predicate for ISO Prolog Core standard compliance
|
2022-03-06 21:33:49 +00:00 |
|
Mark Thom
|
0c19c56909
|
mark variables in ArithmeticEvaluator (#690)
|
2022-03-05 17:57:10 -07:00 |
|
Mark Thom
|
55d8de1b23
|
delay callable errors in control predicates (#1282)
|
2022-02-19 00:59:59 -07:00 |
|
Mark Thom
|
68ac92a616
|
don't unify module-qualified variables to ! (#1281)
|
2022-02-14 18:46:15 -07:00 |
|
Mark Thom
|
0d653a2ce6
|
improve '$skip_max_list'/4 and length/2 (#1023, #110)
|
2022-01-29 12:47:26 -07:00 |
|
Mark Thom
|
142ddcd57a
|
use expand_goal directly for existential-qualified goals in all-solutions predicates (#1246)
|
2022-01-26 17:34:36 -07:00 |
|
Mark Thom
|
3ebf8d5db9
|
clear alias in close before resetting the stream to null (#1231)
|
2022-01-17 17:58:14 -07:00 |
|
Mark Thom
|
d90cf6384c
|
complete handling of control operators in interpreted (,)/2 (#1172)
|
2022-01-08 00:04:04 -07:00 |
|
Mark Thom
|
955e1799c8
|
flatten the instruction dispatch loop
|
2022-01-06 22:09:36 -07:00 |
|
Mark Thom
|
520121b2b2
|
remove skeletons from replaced modules
|
2022-01-06 21:44:41 -07:00 |
|
Mark Thom
|
48c1d05151
|
use heap_loc to refer to 0-arity atom instead of str_loc
|
2022-01-06 21:44:41 -07:00 |
|
Mark Thom
|
8ba61a1da1
|
defer installation of inference counter for call_with_inference_limit til after goals expanded
|
2022-01-06 21:44:41 -07:00 |
|
Mark Thom
|
f340f9ac94
|
break from loop in get_code upon successful character read
|
2022-01-06 21:44:41 -07:00 |
|
Mark Thom
|
1b3f290037
|
throw instantiation error if Arity is a variable in abolish/1
|
2022-01-06 21:44:41 -07:00 |
|