Markus Triska
|
9590d5200c
|
ADDED: countall/2, for compatibility with GNU Prolog.
Example:
?- countall(member(X, "abc"), N).
N = 3.
|
2023-07-13 23:08:13 +02:00 |
|
Mark
|
483e4568a2
|
add scc_block to MachineState to avoid SCC cleanup terms being deallocated too early (#1427)
|
2023-07-06 11:20:49 -06:00 |
|
Mark
|
58af615dd4
|
correct and generalize current_predicate/1
|
2023-06-28 17:31:43 -06:00 |
|
Mark Thom
|
942095baa7
|
remove GetLevelAndUnify and replace it with GetCutPoint
|
2023-06-23 14:11:30 -06:00 |
|
Adrián Arroyo Calle
|
46d1e3bee3
|
Migrate from Markdown to Djot
|
2023-01-19 21:15:25 +01:00 |
|
Adrián Arroyo Calle
|
0166c3bf0f
|
Compatible Doclog docs for library(iso_ext)
|
2022-12-17 22:46:44 +01:00 |
|
Mark Thom
|
28ea672e36
|
move asserta/2, assertz/2 to iso_ext
|
2022-11-10 06:47:32 +01:00 |
|
Mark Thom
|
8781e03863
|
cache ball terms before unifying in handle_ball/3 (#1608)
|
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
|
d644a3996e
|
use '$call' all throughout setup_call_cleanup/3
|
2022-04-12 17:27:48 -06:00 |
|
Markus Triska
|
1fa8a0a969
|
ENHANCED: more memory efficient call_nth/2 (#1264)
I hope that this will allow more extensive tests of Scryer Prolog. Enjoy!
|
2022-04-02 17:42:45 +02:00 |
|
Markus Triska
|
69e52d1ed8
|
ENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0.
This addresses #1307.
|
2022-03-07 23:38:30 +01:00 |
|
Mark Thom
|
96faad1c01
|
add proper error throwing for call_with_inference_limit/3 (#1296)
|
2022-02-27 11:38:44 -07:00 |
|
Mark Thom
|
3db86f1e25
|
relocate most instruction routines from MachineState to Machine
|
2022-01-06 21:46:23 -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
|
0404c3bd94
|
use new heap term representation
|
2022-01-06 21:44:38 -07:00 |
|
Markus Triska
|
57877107d8
|
use functional notation for all meta_predicate/1 directives
|
2021-11-11 19:29:32 +01:00 |
|
Markus Triska
|
e9b4a99c8f
|
FIXED: meta_predicate/1 directive for call_nth/2.
This addresses #1021.
|
2021-11-11 19:26:27 +01:00 |
|
Mark Thom
|
10e92eec32
|
call '$erase_ball' before running cleanup code in setup_call_cleanup (#886)
|
2021-03-24 16:56:53 -06:00 |
|
Mark Thom
|
37f2336eee
|
stop unifying ! to free variables in control_functor/1 (#887)
|
2021-03-24 15:05:59 -06:00 |
|
Mark Thom
|
4d72845c58
|
add copy_term_nat/2 (#795)
|
2021-02-22 22:39:34 -07:00 |
|
Mark Thom
|
6c447da730
|
no longer generate a choice point in bb_b_put/2 (#742)
|
2021-02-22 18:27:30 -07:00 |
|
Mark Thom
|
f6498f2a7b
|
anonymize singleton variables in iso_ext.pl, charsio.pl
|
2021-02-21 19:20:42 -07:00 |
|
Mark Thom
|
814c034683
|
add meta-predicate declarations before their definitions
|
2021-02-01 19:26:50 -07:00 |
|
Mark Thom
|
75908ab88f
|
replace (:) with 0 in meta-predicate declarations, remove support for (:) in meta-predicate declarations
|
2021-01-31 18:00:10 -07:00 |
|
Mark Thom
|
a4d15bfb88
|
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
|
2021-01-30 21:07:51 -07:00 |
|
Markus Triska
|
79cb4cd6a5
|
ADDED: First version of call_nth/2.
A thread-safe implementation is possible for example with
'$nb_setarg'/3 (see #390).
|
2020-08-24 19:29:08 +02:00 |
|
Mark Thom
|
33325f1574
|
remove vestigial prolog/ directory (#444)
|
2020-06-12 18:26:38 -06:00 |
|