rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,924 Commits 2 Branches 18 Tags
89ed1aa8de253c75c4ac2b145c18639281a8a41c
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark d7f5675727 improve call/N implementation (#1829) 2023-06-23 14:11:31 -06:00
Mark 4d982d22c1 set_local_value does not make values safe (#1812) 2023-06-23 14:11:31 -06:00
Mark 5ed1802f0f read set_value args from temp regs of put_unsafe_value (#1812) 2023-06-23 14:11:31 -06:00
Mark 749dedf477 read from machine stack in stackful pre-order iterator (#1812) 2023-06-23 14:11:31 -06:00
Mark e0f49e8f43 optionally read from machine stack in stackful pre-order iterator (#1812) 2023-06-23 14:11:31 -06:00
Mark dae34b6009 affirm integers as rational/1 (#1810) 2023-06-23 14:11:31 -06:00
Mark 8e4465315f use same logic to print Chars and Atoms (#1804) 2023-06-23 14:11:31 -06:00
Mark 33f65210ee make tests compatible 2023-06-23 14:11:31 -06:00
Mark 9ea6cb4cab backtrack on emission of unsafe register instructions on internal branches 2023-06-23 14:11:31 -06:00
Mark 0e583d620a implement new disjunction compilation 2023-06-23 14:11:31 -06:00
Mark Thom b205abe949 remove BuildIf, BuildNot, BuildThen TermIterState variants 2023-06-23 14:11:31 -06:00
Mark Thom cb59c3003a correct chunk type labeling 2023-06-23 14:11:30 -06:00
Mark Thom 942095baa7 remove GetLevelAndUnify and replace it with GetCutPoint 2023-06-23 14:11:30 -06:00
Mark Thom 097849385e add QueryTerm::ChunkTypeBoundary 2023-06-23 14:11:30 -06:00
Mark Thom c4783062ff delete ChunkedTerm, chunked iteration 2023-06-23 14:11:30 -06:00
Mark Thom 063cf0c608 new TermIterState variants 2023-06-23 14:11:30 -06:00
Mark Thom a66d666bed variable classification al a carte 2023-06-23 14:11:22 -06:00
Mark Thom 170818759d add more variable probing, chunk type labeling 2023-06-23 14:11:07 -06:00
Mark Thom e41d1b319b adapt code generation 2023-06-23 14:11:04 -06:00
Mark Thom b9c9de5222 add classifications and occurrence counting 2023-06-23 13:54:46 -06:00
Mark Thom d565f5901b milestone marker for surgery 2023-06-23 13:54:04 -06:00
Mark Thom 46317c3a39 begin adapting the techniques of "Compiling Large Disjunctions" 2023-06-23 13:52:24 -06:00
Mark c5a3ec3ba8 fix current_predicate/1 (#1761) 2023-04-24 23:23:27 -06:00
Mark Thom f12a90351a Merge pull request #1794 from aarroyoc/uppercase-2 
Fix to_upper/to_lower when string is instantiated
 2023-04-23 17:08:21 -06:00
Mark Thom 402100fd52 Merge pull request #1797 from triska/clpb_residuals 
remove residual goal for ground BDD
 2023-04-23 10:31:40 -06:00
Mark 7d2e59ab64 discard CodeIndex literals from unfolded control operators in preprocessor (#1791) 2023-04-22 18:38:50 -06:00
Mark f35298a227 add and document inlined_instructions/2 to/in diag.pl (#1791) 2023-04-22 18:38:49 -06:00
Mark Thom 198e925430 Merge pull request #1796 from triska/dif_si 
ADDED: dif_si/2
 2023-04-22 17:21:03 -06:00
Mark Thom 502574dfc3 Merge pull request #1795 from infogulch/fix-ci-install 
Use --force to install cargo2junit
 2023-04-22 16:03:39 -06:00
Mark Thom f277f660f3 Merge pull request #1793 from infogulch/fix-action-ref 
Change ref for `publish-unit-test-result-action`
 2023-04-22 11:26:45 -06:00
Mark Thom 396528189d Merge pull request #1789 from aarroyoc/uppercase 
library(charsio): add to_upper and to_lower
 2023-04-20 07:17:09 +02:00
Mark Thom 8937cac47d Merge pull request #1783 from infogulch/test 
Refactor CI Workflow
 2023-04-18 08:35:45 +02:00
Mark Thom 3a5ed4723b Merge pull request #1785 from mthom/dependabot/cargo/h2-0.3.17 
Bump h2 from 0.3.15 to 0.3.17
 2023-04-14 06:22:32 +02:00
Mark Thom dcf4c44173 Merge pull request #1786 from triska/tuples_in 
FIXED: propagation for ground tuples
 2023-04-14 06:22:18 +02:00
Mark Thom fc7d98d748 Merge pull request #1780 from triska/tuples_in 
Various improvements to tuples_in/2
 2023-04-12 19:10:50 +02:00
Mark Thom 8d6e3d7d56 Merge pull request #1776 from infogulch/master 
Add iso prolog / logtalk tests to test runner
 2023-04-07 06:09:08 +02:00
Mark Thom 47ce84b273 Merge pull request #1772 from triska/number_chars 
FIXED: number_chars(N, "0' "), addressing #1580.
 2023-04-02 19:24:59 +02:00
Mark Thom 449e097f4a Merge pull request #1774 from infogulch/master 
Optimize Test GH action
 2023-04-02 19:24:36 +02:00
Mark Thom 7279062d3c Merge pull request #1770 from triska/doc 
Smaller documentation improvements to explain compilation and target directory
 2023-04-01 23:28:19 +02:00
Mark Thom c7759aa737 Merge pull request #1769 from triska/show_pending_constraints 
ENHANCED: use call_residue_vars/2 to show all pending constraints
 2023-03-31 04:51:34 +02:00
Mark Thom adc77985d7 broaden the definition of alpha_char! (#1749, #1515, #1591) 2023-03-26 11:10:46 -06:00
Mark Thom d85fc7c9f8 Merge pull request #1765 from mthom/dependabot/cargo/openssl-0.10.48 
Bump openssl from 0.10.42 to 0.10.48
 2023-03-25 06:20:00 +01:00
Mark Thom 4ee6a7bfb8 add '$unattributed_var' builtin (#1758) 2023-03-18 23:08:38 -06:00
Mark Thom 6e53d08d40 Merge pull request #1759 from triska/better_queue 
Better queue
 2023-03-16 04:34:33 +01:00
Mark Thom 4da646252b Revert "correct call_residue_vars/3 using new copy_term_3 (#1239)" 
This reverts commit 9b35a316c9.
 2023-03-14 21:34:49 -06:00
Mark Thom cc8bb38abc Revert "use new call_residue_vars/2 in toplevel.pl (#847)" 
This reverts commit 04ba9bc11a.
 2023-03-14 21:34:48 -06:00
Mark Thom 04ba9bc11a use new call_residue_vars/2 in toplevel.pl (#847) 2023-03-12 17:56:54 -06:00
Mark Thom 9b35a316c9 correct call_residue_vars/3 using new copy_term_3 (#1239) 2023-03-12 17:56:54 -06:00
Mark Thom 3a522f3c98 Merge pull request #1757 from aarroyoc/fix-docs-1756 
DOCS: Fixes #1756
 2023-03-12 18:26:54 +01:00
Mark Thom ecd77f7512 Merge pull request #1755 from triska/doc 
various smaller documentation improvements
 2023-03-10 02:40:29 +01:00
Mark Thom cba09d4ea1 Merge pull request #1754 from triska/dif 
ENHANCED: more compact definition of dif/2
 2023-03-08 21:48:34 +01:00
Mark Thom 9288dcabe9 Merge pull request #1744 from aarroyoc/ffi 
Foreign Function Interface - library(ffi)
 2023-03-02 21:57:56 +01:00
Mark Thom 400ca21213 invoke '$default_attr_list' in project_attributes.pl (#1748) 2023-02-26 22:42:02 -07:00
Mark Thom 3286e78cd2 third argument of copy_term should be instantiated as a list (#1747) 2023-02-26 22:42:02 -07:00
Mark Thom 24eb9ce483 Merge pull request #1746 from triska/type_over_instantiation_error 
ENHANCED: must_be/2: prefer type error over instantiation error
 2023-02-26 23:46:23 +01:00
Mark Thom 04ba58067a add, implement and use the Unifier trait 2023-02-26 12:21:22 -07:00
Mark Thom 7ffb40e0ad Merge pull request #1743 from triska/rely_on_indexing 
rely on first instantiated argument indexing
 2023-02-25 19:23:59 +01:00
Mark Thom 84c95c59e9 Merge pull request #1741 from triska/clpz_residuals 
in projection of residual goals, mark considered propagators as processed
 2023-02-23 01:51:22 +01:00
Mark Thom 95f6ebc000 assign responsibility for emitting dif goal to the first variable of the left-hand term (#1739) 2023-02-22 10:28:29 -07:00
Mark Thom 6e9cd072c5 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
Mark Thom 729f2b1cb9 Merge pull request #1737 from triska/link_to_homepage 
add link to newly available homepage
 2023-02-20 21:10:01 +01:00
Mark Thom 92d543b8a8 change '$delete_all_attributes' to '$delete_all_attributes_from_var' 2023-02-20 01:11:52 -07:00
Mark Thom 3f445c76be add '$delete_all_attributes', use copy_term/3 as defined in #1272 2023-02-20 01:11:51 -07:00
Mark Thom a6e416f13d compile '$atts' and '$project_atts' modules using loader.pl 2023-02-20 01:11:35 -07:00
Mark Thom 601ff567e3 keep phrase goal qualified even if qualifier is a variable 2023-02-17 00:20:15 -07:00
Mark Thom 56783b8e4b correct incremental compilation bugs 2023-02-12 23:41:25 -07:00
Mark Thom 326f18ea75 copy attributed variable attribute lists specially via copy_attr_var_list 2023-02-12 17:30:04 -07:00
Mark Thom 491472a8c5 retire TrailedAttrVarHeapLink TrailEntry tag 2023-02-10 22:52:27 -07:00
Mark Thom 359619e035 simplify and optimize attributed variables (#1590, #1634, #1730) 2023-02-10 21:56:42 -07:00
Mark Thom 9454d670c7 port '$get_from_list' to '$get_from_attr_list' in Rust 2023-02-06 01:23:29 -07:00
Mark Thom 2fcec4fff9 include wambook errata 2023-02-04 18:14:16 -07:00
Mark Thom 2c2a9fe01e correct shl stub_gen 2023-02-03 22:27:15 -07:00
Mark Thom 165a55dac6 Merge pull request #1734 from triska/clpz_corrections 
DOC: teletype font for reification
 2023-02-04 05:49:11 +01:00
Mark Thom 17450520ba shift by usize instead of u32 in shl and shr (#1718, #1719) 2023-02-02 20:49:39 -07:00
Mark Thom 97702f3071 Merge pull request #1732 from aarroyoc/docs-minor-fixes 
Minor fixes to docs
 2023-02-03 01:58:52 +01:00
Mark Thom e0dcf88b68 Merge pull request #1731 from triska/clpz_corrections 
correct DocLog ~/.scryerrc rendering
 2023-02-02 06:26:08 +01:00
Mark Thom cc38cf15a4 Merge pull request #1729 from aarroyoc/negative-shifts 
Negative shifts (fixes #1719 and #1718)
 2023-02-02 06:25:52 +01:00
Mark Thom ce56a7303e avoid arena allocation of stream in read_term_from_chars (#1266) 2023-01-31 00:15:57 -07:00
Mark Thom 5667ec8699 update tokio version 2023-01-30 23:27:07 -07:00
Mark Thom 28c338416f Merge pull request #1728 from aarroyoc/docs-csv 
Compatible Doclog docs for library(csv)
 2023-01-30 04:24:04 +01:00
Mark Thom 26a8fc1a37 Merge pull request #1727 from triska/clpz_corrections 
DOC: use valid Prolog terms as predicate indicators
 2023-01-30 04:23:52 +01:00
Mark Thom 5a28366158 Merge pull request #1725 from aarroyoc/fix-docs-http-server 
Fix library(http/http_server) docs. Other minor fixes
 2023-01-28 20:12:09 +01:00
Mark Thom ac0cea8a73 Merge pull request #1724 from triska/clpz_corrections 
CLP(ℤ) corrections
 2023-01-28 20:11:48 +01:00
Mark Thom 2bdba261ea Merge pull request #1717 from triska/format_doc 
correct table layout for entries that themselves contain |
 2023-01-27 07:47:53 +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
Mark Thom 39606a2277 Merge pull request #1705 from triska/format_doc 
DOC: convert library(format) documentation to DocLog format
 2023-01-26 02:05:23 +01:00
Mark Thom 275d306b69 Merge pull request #1706 from triska/si_doc 
DOC: convert library(si) documentation to DocLog format
 2023-01-26 02:03:24 +01:00
Mark Thom e948413c09 Merge pull request #1707 from triska/reif_doc 
DOC: add link to "Indexing dif/2" in DocLog format
 2023-01-26 02:03:14 +01:00
Mark Thom f8bb3148d0 Merge pull request #1708 from triska/freeze_doc 
DOC: add documentation for library(freeze) in DocLog format
 2023-01-26 02:02:58 +01:00
Mark Thom e7cf70936a Merge pull request #1709 from triska/pio_doc 
DOC: convert library(pio) documentation to DocLog format
 2023-01-26 02:02:47 +01:00
Mark Thom 409287e8f8 Merge pull request #1710 from triska/tabling_doc 
DOC: initial documentation for library(tabling) in DocLog format
 2023-01-26 02:02:35 +01:00
Mark Thom 87d6ef16f7 Merge pull request #1711 from triska/pairs_doc 
DOC: initial documentation for library(pairs) in DocLog format
 2023-01-26 02:02:22 +01:00
Mark Thom 3c08eba559 Merge pull request #1712 from triska/lambda_doc 
DOC: convert code samples in library(lambda) to DocLog format
 2023-01-26 02:02:12 +01:00
Mark Thom d399b68d01 Merge pull request #1713 from triska/simplex_doc 
DOC: convert library(simplex) documentation to DocLog format
 2023-01-26 02:02:01 +01:00
Mark Thom 058cbcf19a Merge pull request #1704 from triska/time_doc 
DOC: correctly format the table using DocLog syntax
 2023-01-25 22:51:05 +01:00
Mark Thom c709853aa7 Merge pull request #1703 from aarroyoc/docs-arithmetic 
Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md
 2023-01-25 21:40:15 +01:00
Mark Thom 82dd9e0596 Merge pull request #1701 from triska/diag_doc 
DOC: add DocLog documentation for library(diag)
 2023-01-25 00:16:53 +01:00
Mark Thom 6ba3d49034 Merge pull request #1702 from triska/debug_doc 
DOC: add DocLog documentation for library(debug)
 2023-01-25 00:16:34 +01:00
Mark Thom df266378c4 Merge pull request #1689 from triska/clpb_doc 
DOC: preliminary CLP(B) documentation in DocLog format
 2023-01-24 22:51:35 +01:00
Mark Thom ec55765cb2 Merge pull request #1697 from triska/crypto_doc 
DOC: convert library(crypto) documentation to DocLog format
 2023-01-24 22:46:14 +01:00