]> Repositorios git - scryer-prolog.git/commit
rename non_iso.pl to iso_ext.pl (#265)
authorMark Thom <[email protected]>
Sat, 22 Feb 2020 07:58:37 +0000 (00:58 -0700)
committerMark Thom <[email protected]>
Sat, 22 Feb 2020 07:58:37 +0000 (00:58 -0700)
commitb2e50b42a3c5aedc41496def792392c9e5d84c28
treef57d411ee2bdc7f60209660e6b07104ba59919a4
parent003b4d021876baf0087023357f2d44de624a1f1f
rename non_iso.pl to iso_ext.pl (#265)
14 files changed:
README.md
src/prolog/lib/builtins.pl
src/prolog/lib/clpb.pl
src/prolog/lib/gensym.pl
src/prolog/lib/iso_ext.pl [moved from src/prolog/lib/non_iso.pl with 98% similarity]
src/prolog/lib/tabling.pl
src/prolog/lib/tabling/global_worklist.pl
src/prolog/lib/tabling/table_data_structure.pl
src/prolog/lib/tabling/table_link_manager.pl
src/prolog/machine/machine_indices.rs
src/prolog/machine/mod.rs
src/tests/builtins.pl
src/tests/call_with_inference_limit.pl
src/tests/setup_call_cleanup.pl