rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
e667abb143e7df3d3bb8f87e35f164258206a10a
scryer-prolog/src/lib
History
Markus Triska 8cb4dfef62 ADDED: term_si/1, true for terms 
One use case is to ensure that once/1 is safe to use:

    term_si(Goal),
    once(Goal)

In such cases, Goal is ground and can yield at most one solution,
therefore once/1 does not remove any solutions.
2023-11-29 21:25:09 +01:00
..
http
Improved version of url_decode
2023-10-02 23:49:09 +02:00
serialization
use new heap term representation
2022-01-06 21:44:38 -07:00
tabling
remove tabling attributes in each module's attribute_goals//1 (#1825)
2023-06-27 10:31:10 -06:00
arithmetic.pl
Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md
2023-01-25 19:48:01 +01:00
assoc.pl
Fix assoc.pl file
2023-01-19 21:18:40 +01:00
atts.pl
Revert "correct call_residue_vars/3 using new copy_term_3 (#1239)"
2023-03-14 21:34:49 -06:00
between.pl
Compatible Doclog docs for library(between).
2023-01-22 20:26:30 +01:00
builtins.pl
bind missing module atom in retract/1 (#2182)
2023-11-25 20:59:04 -07:00
charsio.pl
Rename to_upper to upper and to_lower to lower
2023-10-28 19:16:07 +02:00
clpb.pl
remove code that is not needed in Scryer Prolog
2023-09-09 07:46:01 +02:00
clpz.pl
Reify (^)/2
2023-10-14 12:11:24 -06:00
cont.pl
restore support for tabling and delimited continuations (#779)
2021-02-17 16:18:49 -07:00
crypto.pl
ENHANCED: more extensive type checking in curve25519_scalar_mult/3
2023-08-20 14:43:14 +02:00
csv.pl
Compatible Doclog docs for library(csv)
2023-01-29 22:36:16 +01:00
dcgs.pl
catch attribute_goals errors in copy_term/3, don't discard variable module qualifiers in dcg_body/3 (#1738)
2023-02-21 00:50:46 -07:00
debug.pl
DOC: add DocLog documentation for library(debug)
2023-01-25 00:19:14 +01:00
diag.pl
add and document inlined_instructions/2 to/in diag.pl (#1791)
2023-04-22 18:38:49 -06:00
dif.pl
fix dif:vars_remove_goal/2 (#2175), untabify forms.rs to appease format check
2023-11-20 14:21:18 -07:00
error.pl
ENHANCED: must_be/2: prefer type error over instantiation error
2023-02-26 22:28:18 +01:00
ffi.pl
FFI: Documentation
2023-02-28 22:09:35 +01:00
files.pl
correct and generalize current_predicate/1
2023-06-28 17:31:43 -06:00
format.pl
use newly available double_quotes/1 write option in portray_clause_//1
2023-08-17 23:05:21 +02:00
freeze.pl
add '$delete_all_attributes', use copy_term/3 as defined in #1272
2023-02-20 01:11:51 -07:00
gensym.pl
FIXED: correctly reset counter in reset_gensym/2 (#1807)
2023-06-23 14:11:31 -06:00
iso_ext.pl
remove assert(a,z)/2 (#1975)
2023-11-22 09:24:07 -07:00
lambda.pl
DOC: convert code samples in library(lambda) to DocLog format
2023-01-26 00:40:08 +01:00
lists.pl
remove another !/0 which is now no longer necessary due to improved indexing
2023-07-22 06:52:29 +02:00
ops_and_meta_predicates.pl
Fix (**)/2 operator type
2021-05-09 21:02:44 +01:00
ordsets.pl
Migrate from Markdown to Djot
2023-01-19 21:15:25 +01:00
os.pl
Compatible Doclog docs for library(os)
2023-01-22 17:45:50 +01:00
pairs.pl
DOC: initial documentation for library(pairs) in DocLog format
2023-01-26 00:36:05 +01:00
pio.pl
Remove reposition option from phrase_from_file/2
2023-09-25 02:18:05 -03:00
queues.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
random.pl
Migrate from Markdown to Djot
2023-01-19 21:15:25 +01:00
reif.pl
DOC: add link to "Indexing dif/2" in DocLog format
2023-01-25 23:40:55 +01:00
sgml.pl
DOC: convert library(sgml) documentation to DocLog format
2023-01-24 22:42:58 +01:00
si.pl
ADDED: term_si/1, true for terms
2023-11-29 21:25:09 +01:00
simplex.pl
DOC: convert library(simplex) documentation to DocLog format
2023-01-26 00:46:06 +01:00
sockets.pl
Migrate from Markdown to Djot
2023-01-19 21:15:25 +01:00
tabling.pl
catch errors thrown from tabling Worker (#1526, #1888)
2023-07-18 12:10:27 -06:00
terms.pl
inline metacalls
2022-10-26 23:36:07 -06:00
time.pl
ENHANCED: time/1 now shows the number of inferences
2023-11-21 20:36:44 +01:00
tls.pl
ADDED: library(tls), providing all predicates for TLS connections.
2021-12-05 18:16:47 +01:00
ugraphs.pl
Migrate from Markdown to Djot
2023-01-19 21:15:25 +01:00
uuid.pl
Migrate from Markdown to Djot
2023-01-19 21:15:25 +01:00
wasm.pl
Add js_eval/2 for wasm32
2023-11-22 21:21:19 +01:00
xpath.pl
replace adjacent whitespace characters with a single SPACE character
2023-08-27 13:01:13 +02:00