rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 01285f12c3 remove no longer needed queue attributes after propagation Markus Triska 2023-03-15 21:17:06 +01:00
  • cd586aab8c show remaining queue/2 attributes as residual goals Markus Triska 2023-03-15 19:56:02 +01:00
  • 4da646252b Revert "correct call_residue_vars/3 using new copy_term_3 (#1239)" Mark Thom 2023-03-14 21:34:49 -06:00
  • cc8bb38abc Revert "use new call_residue_vars/2 in toplevel.pl (#847)" Mark Thom 2023-03-14 21:34:48 -06:00
  • 04ba9bc11a use new call_residue_vars/2 in toplevel.pl (#847) Mark Thom 2023-03-12 16:59:03 -06:00
  • 9b35a316c9 correct call_residue_vars/3 using new copy_term_3 (#1239) Mark Thom 2023-03-12 14:14:29 -06:00
  • 3a522f3c98 Merge pull request #1757 from aarroyoc/fix-docs-1756 Mark Thom 2023-03-12 18:26:54 +01:00
  • 4c44859132 Fixes #1756 Adrián Arroyo Calle 2023-03-12 16:47:20 +01:00
  • ecd77f7512 Merge pull request #1755 from triska/doc Mark Thom 2023-03-10 02:40:29 +01:00
  • 56bd596af3 use actual toplevel answers Markus Triska 2023-03-08 23:35:11 +01:00
  • 21acb9361a use string notation as discussed on #scryer IRC Markus Triska 2023-03-08 23:32:05 +01:00
  • c3477d8476 items --> elements Markus Triska 2023-03-08 23:31:02 +01:00
  • cba09d4ea1 Merge pull request #1754 from triska/dif Mark Thom 2023-03-08 21:48:34 +01:00
  • 884b0ca10e FIXED: Take all variables into account during goal projection. Markus Triska 2023-03-08 21:16:54 +01:00
  • c9ecfb11d9 ENHANCED: more compact definition of dif/2 Markus Triska 2023-03-08 20:50:33 +01:00
  • 9288dcabe9 Merge pull request #1744 from aarroyoc/ffi Mark Thom 2023-03-02 21:57:56 +01:00
  • 73df96244d Fill more cases Adrián Arroyo Calle 2023-03-01 22:10:26 +01:00
  • 7396630627 Merge branch 'master' into ffi Adrián Arroyo Calle 2023-02-28 22:10:40 +01:00
  • 0ac93751d0 FFI: Documentation Adrián Arroyo Calle 2023-02-27 20:02:21 +01:00
  • 400ca21213 invoke '$default_attr_list' in project_attributes.pl (#1748) Mark Thom 2023-02-26 22:41:38 -07:00
  • 3286e78cd2 third argument of copy_term should be instantiated as a list (#1747) Mark Thom 2023-02-26 16:29:39 -07:00
  • 24eb9ce483 Merge pull request #1746 from triska/type_over_instantiation_error Mark Thom 2023-02-26 23:46:23 +01:00
  • 3dc6ed79d2 ENHANCED: must_be/2: prefer type error over instantiation error Markus Triska 2023-02-26 22:27:06 +01:00
  • f94294dbd9 FFI: Nested structs Adrián Arroyo Calle 2023-02-26 20:48:00 +01:00
  • 04ba58067a add, implement and use the Unifier trait Mark Thom 2023-02-25 21:52:18 -07:00
  • 92b262d599 Macroization of the code Adrián Arroyo Calle 2023-02-25 22:27:28 +01:00
  • 7ffb40e0ad Merge pull request #1743 from triska/rely_on_indexing Mark Thom 2023-02-25 19:23:59 +01:00
  • 997161c740 rely on first instantiated argument indexing Markus Triska 2023-02-25 10:17:55 +01:00
  • 84c95c59e9 Merge pull request #1741 from triska/clpz_residuals Mark Thom 2023-02-23 01:51:22 +01:00
  • 669242a8ce DOC: update residual goals Markus Triska 2023-02-23 00:10:26 +01:00
  • 2a04d5e799 in projection of residual goals, mark considered propagators as processed Markus Triska 2023-02-22 21:05:31 +01:00
  • 9d52d2a653 MVP of Foreign Function Interface Adrián Arroyo Calle 2023-02-22 23:10:03 +01:00
  • 95f6ebc000 assign responsibility for emitting dif goal to the first variable of the left-hand term (#1739) Mark Thom 2023-02-21 20:53:13 -07:00
  • 6e9cd072c5 catch attribute_goals errors in copy_term/3, don't discard variable module qualifiers in dcg_body/3 (#1738) Mark Thom 2023-02-21 00:50:31 -07:00
  • 729f2b1cb9 Merge pull request #1737 from triska/link_to_homepage Mark Thom 2023-02-20 21:10:01 +01:00
  • 1a01438064 add link to newly available homepage Markus Triska 2023-02-20 20:09:47 +01:00
  • 34ec6d3167 Changed the links for the delimited continuations papers and the precise garbage collection paper. Robert Jacobson 2023-02-19 20:10:21 -05:00
  • c9295323f6 Added links to referenced research papers in the Phase 2 and Nice to Have Features sections. Robert Jacobson 2023-02-18 15:49:42 -05:00
  • 92d543b8a8 change '$delete_all_attributes' to '$delete_all_attributes_from_var' Mark Thom 2023-02-18 14:12:07 -07:00
  • 3f445c76be add '$delete_all_attributes', use copy_term/3 as defined in #1272 Mark Thom 2023-02-18 02:15:24 -07:00
  • a6e416f13d compile '$atts' and '$project_atts' modules using loader.pl Mark Thom 2023-02-17 19:20:28 -07:00
  • 601ff567e3 keep phrase goal qualified even if qualifier is a variable Mark Thom 2023-02-17 00:20:15 -07:00
  • 56783b8e4b correct incremental compilation bugs Mark Thom 2023-02-12 23:41:25 -07:00
  • 326f18ea75 copy attributed variable attribute lists specially via copy_attr_var_list Mark Thom 2023-02-12 17:16:02 -07:00
  • 491472a8c5 retire TrailedAttrVarHeapLink TrailEntry tag Mark Thom 2023-02-10 22:35:41 -07:00
  • 359619e035 simplify and optimize attributed variables (#1590, #1634, #1730) Mark Thom 2023-02-10 00:09:22 -07:00
  • 9454d670c7 port '$get_from_list' to '$get_from_attr_list' in Rust Mark Thom 2023-02-06 01:23:29 -07:00
  • 2fcec4fff9 include wambook errata Mark Thom 2023-02-04 18:14:16 -07:00
  • 2c2a9fe01e correct shl stub_gen Mark Thom 2023-02-03 22:27:08 -07:00
  • 165a55dac6 Merge pull request #1734 from triska/clpz_corrections Mark Thom 2023-02-04 05:49:11 +01:00
  • 196e9c1e47 DOC: teletype font for reification Markus Triska 2023-02-03 20:44:11 +01:00
  • 17450520ba shift by usize instead of u32 in shl and shr (#1718, #1719) Mark Thom 2023-02-02 20:49:14 -07:00
  • 97702f3071 Merge pull request #1732 from aarroyoc/docs-minor-fixes Mark Thom 2023-02-03 01:58:52 +01:00
  • e8408ca93f Minor fixes to docs Adrián Arroyo Calle 2023-02-02 21:35:35 +01:00
  • e0dcf88b68 Merge pull request #1731 from triska/clpz_corrections Mark Thom 2023-02-02 06:26:08 +01:00
  • cc38cf15a4 Merge pull request #1729 from aarroyoc/negative-shifts Mark Thom 2023-02-02 06:25:52 +01:00
  • da4c0a359b correct DocLog ~/.scryerrc rendering Markus Triska 2023-02-01 23:26:52 +01:00
  • ce56a7303e avoid arena allocation of stream in read_term_from_chars (#1266) Mark Thom 2023-01-31 00:15:57 -07:00
  • 5667ec8699 update tokio version Mark Thom 2023-01-24 16:17:03 -07:00
  • 36b3150225 Negative shifts (fixes #1719 and #1718) Adrián Arroyo Calle 2023-01-30 18:56:37 +01:00
  • 28c338416f Merge pull request #1728 from aarroyoc/docs-csv Mark Thom 2023-01-30 04:24:04 +01:00
  • 26a8fc1a37 Merge pull request #1727 from triska/clpz_corrections Mark Thom 2023-01-30 04:23:52 +01:00
  • f347baafa3 Compatible Doclog docs for library(csv) Adrián Arroyo Calle 2023-01-29 22:36:16 +01:00
  • 95278c221b DOC: use valid Prolog terms as predicate indicators Markus Triska 2023-01-29 21:48:22 +01:00
  • 5a28366158 Merge pull request #1725 from aarroyoc/fix-docs-http-server Mark Thom 2023-01-28 20:12:09 +01:00
  • ac0cea8a73 Merge pull request #1724 from triska/clpz_corrections Mark Thom 2023-01-28 20:11:48 +01:00
  • 814b631543 use DocLog syntax for section anchors and links within the document Markus Triska 2023-01-28 10:43:42 +01:00
  • 0d8c7f8785 small documentation adjustments Markus Triska 2023-01-28 10:03:23 +01:00
  • 5bae8fcaf8 FIXED: use lsb/2 and msb/2 from library(arithmetic) Markus Triska 2023-01-28 09:42:26 +01:00
  • 4110cfcfcb Fix library(http/http_server) docs. Other minor fixes Adrián Arroyo Calle 2023-01-28 16:00:27 +01:00
  • 2bdba261ea Merge pull request #1717 from triska/format_doc Mark Thom 2023-01-27 07:47:53 +01:00
  • 58fb851717 correct table layout for entries that themselves contain | Markus Triska 2023-01-27 00:22:48 +01:00
  • 1118b37c92 Merge pull request #1674 from aarroyoc/docs-builtins Mark Thom 2023-01-26 05:10:20 +01:00
  • 39606a2277 Merge pull request #1705 from triska/format_doc Mark Thom 2023-01-26 02:05:23 +01:00
  • 275d306b69 Merge pull request #1706 from triska/si_doc Mark Thom 2023-01-26 02:03:24 +01:00
  • e948413c09 Merge pull request #1707 from triska/reif_doc Mark Thom 2023-01-26 02:03:14 +01:00
  • f8bb3148d0 Merge pull request #1708 from triska/freeze_doc Mark Thom 2023-01-26 02:02:58 +01:00
  • e7cf70936a Merge pull request #1709 from triska/pio_doc Mark Thom 2023-01-26 02:02:47 +01:00
  • 409287e8f8 Merge pull request #1710 from triska/tabling_doc Mark Thom 2023-01-26 02:02:35 +01:00
  • 87d6ef16f7 Merge pull request #1711 from triska/pairs_doc Mark Thom 2023-01-26 02:02:22 +01:00
  • 3c08eba559 Merge pull request #1712 from triska/lambda_doc Mark Thom 2023-01-26 02:02:12 +01:00
  • d399b68d01 Merge pull request #1713 from triska/simplex_doc Mark Thom 2023-01-26 02:02:01 +01:00
  • 2e9ec653a8 DOC: convert library(simplex) documentation to DocLog format Markus Triska 2023-01-26 00:46:06 +01:00
  • 7ca782b92d DOC: convert code samples in library(lambda) to DocLog format Markus Triska 2023-01-26 00:40:08 +01:00
  • 996496c3f5 DOC: initial documentation for library(pairs) in DocLog format Markus Triska 2023-01-26 00:36:05 +01:00
  • 90cf713186 add link to Desouter et al., "Tabling as a Library with Delimited Control" Markus Triska 2023-01-26 00:25:15 +01:00
  • ca4aaf44de DOC: initial documentation for library(tabling) in DocLog format Markus Triska 2023-01-26 00:20:53 +01:00
  • b04d845ec0 DOC: convert library(pio) documentation to DocLog format Markus Triska 2023-01-26 00:09:41 +01:00
  • a8ea2b0f97 DOC: add documentation for library(freeze) in DocLog format Markus Triska 2023-01-25 23:54:30 +01:00
  • a29227d0d4 DOC: add link to "Indexing dif/2" in DocLog format Markus Triska 2023-01-25 23:40:55 +01:00
  • 7f8f137aa0 DOC: convert library(si) documentation to DocLog format Markus Triska 2023-01-25 23:27:45 +01:00
  • cc7e721611 DOC: convert library(format) documentation to DocLog format Markus Triska 2023-01-25 23:17:54 +01:00
  • 058cbcf19a Merge pull request #1704 from triska/time_doc Mark Thom 2023-01-25 22:51:05 +01:00
  • 22b815dc5c DOC: correctly format the table using DocLog syntax Markus Triska 2023-01-25 22:29:14 +01:00
  • c709853aa7 Merge pull request #1703 from aarroyoc/docs-arithmetic Mark Thom 2023-01-25 21:40:15 +01:00
  • d755bb7e12 Apply feedback on builtins Adrián Arroyo Calle 2023-01-25 21:04:10 +01:00
  • 6d99912b7b Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md Adrián Arroyo Calle 2023-01-25 19:48:01 +01:00
  • 82dd9e0596 Merge pull request #1701 from triska/diag_doc Mark Thom 2023-01-25 00:16:53 +01:00
  • 6ba3d49034 Merge pull request #1702 from triska/debug_doc Mark Thom 2023-01-25 00:16:34 +01:00
  • 64be8e0fba DOC: add DocLog documentation for library(debug) Markus Triska 2023-01-25 00:19:14 +01:00