Files

 master

/

lib

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

jasonhemann

s/red/read/ typo in documentation.

Dec 5, 2024

d7bf744 · Dec 5, 2024

History

History

This branch is 136 commits behind mthom/scryer-prolog:master.

/

lib

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
http		http	Improved version of url_decode	Oct 2, 2023
serialization		serialization	use new heap term representation	Jan 7, 2022
tabling		tabling	remove tabling attributes in each module's attribute_goals//1 (mthom#…	Jun 27, 2023
arithmetic.pl		arithmetic.pl	Compatible Doclog docs for library(arithmetic) and small fixes on IND…	Jan 25, 2023
assoc.pl		assoc.pl	Fix assoc.pl file	Jan 19, 2023
atts.pl		atts.pl	move call_residue_vars/2 from atts.pl to iso_ext.pl	Jan 25, 2024
between.pl		between.pl	Compatible Doclog docs for library(between).	Jan 22, 2023
builtins.pl		builtins.pl	s/red/read/ typo in documentation.	Dec 5, 2024
charsio.pl		charsio.pl	FIXED: char_type/2 for unbound first argument.	Feb 11, 2024
clpb.pl		clpb.pl	no longer use (->)//2, since it is implementation defined	Jan 23, 2024
clpz.pl		clpz.pl	ADDED: clpz_t/2, generalizing support for use with library(reif)	Feb 6, 2024
cont.pl		cont.pl	restore support for tabling and delimited continuations (mthom#779)	Feb 17, 2021
crypto.pl		crypto.pl	indicate deprecated functionality	Mar 16, 2024
csv.pl		csv.pl	Add all_mdoules test and fix library(csv)	Feb 4, 2024
dcgs.pl		dcgs.pl	delay instantiation errors on lists in phrase/3 until runtime (mthom#…	Apr 29, 2024
debug.pl		debug.pl	issue callable type error from dynamic_module_resolution if module is…	Feb 29, 2024
diag.pl		diag.pl	add and document inlined_instructions/2 to/in diag.pl (mthom#1791)	Apr 23, 2023
dif.pl		dif.pl	fix dif:vars_remove_goal/2 (mthom#2175), untabify forms.rs to appease…	Nov 20, 2023
error.pl		error.pl	Convert library(error) docs to Doclog format	Sep 16, 2024
ffi.pl		ffi.pl	FFI: Documentation	Feb 28, 2023
files.pl		files.pl	Small fixes in documentation and toplevel.pl	Jan 3, 2024
format.pl		format.pl	ENHANCED: further partial evaluation for the common control sequence ~d	Mar 20, 2024
freeze.pl		freeze.pl	add '$delete_all_attributes', use copy_term/3 as defined in mthom#1272	Feb 20, 2023
gensym.pl		gensym.pl	FIXED: correctly reset counter in reset_gensym/2 (mthom#1807)	May 16, 2023
iso_ext.pl		iso_ext.pl	Explain non_counted_backtracking a little bit more	Sep 7, 2024
lambda.pl		lambda.pl	DOC: convert code samples in library(lambda) to DocLog format	Jan 25, 2023
lists.pl		lists.pl	remove another !/0 which is now no longer necessary due to improved i…	Jul 22, 2023
ops_and_meta_predicates.pl		ops_and_meta_predicates.pl	Change wording for non_counted_backtracking comment	Sep 7, 2024
ordsets.pl		ordsets.pl	Migrate from Markdown to Djot	Jan 19, 2023
os.pl		os.pl	Merge pull request mthom#2264 from Skgland/fix-os-argv-1	Jan 6, 2024
pairs.pl		pairs.pl	DOC: initial documentation for library(pairs) in DocLog format	Jan 25, 2023
pio.pl		pio.pl	Remove reposition option from phrase_from_file/2	Sep 25, 2023
queues.pl		queues.pl	remove vestigial prolog/ directory (mthom#444)	Jun 13, 2020
random.pl		random.pl	Migrate from Markdown to Djot	Jan 19, 2023
reif.pl		reif.pl	DOC: add link to "Indexing dif/2" in DocLog format	Jan 25, 2023
sgml.pl		sgml.pl	DOC: convert library(sgml) documentation to DocLog format	Jan 24, 2023
si.pl		si.pl	Add when/2 and when_si/2	Dec 10, 2023
simplex.pl		simplex.pl	DOC: convert library(simplex) documentation to DocLog format	Jan 25, 2023
sockets.pl		sockets.pl	Migrate from Markdown to Djot	Jan 19, 2023
tabling.pl		tabling.pl	catch errors thrown from tabling Worker (mthom#1526, mthom#1888)	Jul 18, 2023
terms.pl		terms.pl	inline metacalls	Oct 27, 2022
time.pl		time.pl	ADDED: Preliminary support for statistics/2.	Jul 6, 2024
tls.pl		tls.pl	ADDED: library(tls), providing all predicates for TLS connections.	Dec 5, 2021
ugraphs.pl		ugraphs.pl	Migrate from Markdown to Djot	Jan 19, 2023
uuid.pl		uuid.pl	Migrate from Markdown to Djot	Jan 19, 2023
wasm.pl		wasm.pl	Add js_eval/2 for wasm32	Nov 22, 2023
when.pl		when.pl	Tests for when/2 and solved bug	Dec 11, 2023
xpath.pl		xpath.pl	replace adjacent whitespace characters with a single SPACE character	Aug 27, 2023
View all files