rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,790 Commits 2 Branches 18 Tags
97702f3071f387f6591c17790a2c2c5cf2810464
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Mark Thom de2ff8118f Merge pull request #1696 from triska/clpz_doc 
DOC: improve CLP(ℤ) DocLog documentation
 2023-01-24 22:45:51 +01:00
Mark Thom c30c9dc98f Merge pull request #1698 from triska/time_doc 
DOC: convert library(time) documentation to DocLog format
 2023-01-24 22:43:53 +01:00
Mark Thom 1f872c3f0c Merge pull request #1694 from aarroyoc/docs-dcgs 
Compatible Doclog docs for library(dcgs)
 2023-01-24 22:43:43 +01:00
Mark Thom b6204eb6f1 Merge pull request #1699 from triska/sgml_doc 
DOC: convert library(sgml) documentation to DocLog format
 2023-01-24 22:43:22 +01:00
Mark Thom 26d39c3617 Merge pull request #1695 from aarroyoc/website 
Add website frontpage
 2023-01-24 20:29:48 +01:00
Mark Thom 371bc3b231 Merge pull request #1676 from aarroyoc/docs-http-server 
Compatible Doclog docs for library(http/http_server)
 2023-01-24 04:09:39 +01:00
Mark Thom 4ed36a12e9 Merge branch 'retract_improvements' 2023-01-22 21:04:55 -07:00
Mark Thom a7e93db363 improve retract/1 and related predicates (#1598) 2023-01-22 21:04:41 -07:00
Mark Thom 789715f31a Merge pull request #1693 from aarroyoc/docs-xpath 
Compatible Doclog docs for library(xpath).
 2023-01-23 04:04:00 +01:00
Mark Thom 7cc900d437 Merge pull request #1691 from aarroyoc/docs-os-3 
Compatible Doclog docs for library(os)
 2023-01-23 04:02:57 +01:00
Mark Thom ff0f6f4fc2 Merge pull request #1690 from aarroyoc/docs-charsio 
Compatible Doclog docs for library(charsio)
 2023-01-23 04:02:02 +01:00
Mark Thom 5698e8f21a Merge pull request #1692 from aarroyoc/docs-between 
Compatible Doclog docs for library(between).
 2023-01-23 04:00:11 +01:00
Mark Thom 5e0e3e2754 Merge pull request #1687 from gruhn/master 
Fix failing Docker build
 2023-01-21 05:02:33 +01:00
Mark Thom 04fd835267 Merge pull request #1688 from aarroyoc/djot-migration 
Migrate from Markdown to Djot
 2023-01-21 04:48:26 +01:00
Mark Thom f9e3bdb6b0 restore free list usage on structures in facts without crashing lgtunit loader 2023-01-13 18:35:13 -07:00
Mark Thom a80aab48cd Merge pull request #1677 from aarroyoc/docs-dif 
Compatible Doclog docs for library(dif)
 2023-01-13 07:50:17 +01:00
Mark Thom 3a4aa2a541 tighten deallocate truncation of stack (#1686) 2023-01-12 23:47:07 -07:00
Mark Thom 84583da5b8 Merge pull request #1685 from triska/reify_sign 
ADDED: sign/1 is now reifiable.
 2023-01-11 17:41:14 +01:00
Mark Thom 0c4d93f01f remove add_term_to_free_list from AddToList (#1684) 2023-01-10 18:24:48 -07:00
Mark Thom a4e8bfc1ba Merge pull request #1682 from triska/reify_slash 
FIXED: correctly reify (/)/2.
 2023-01-10 23:44:48 +01:00
Mark Thom bb624cc971 use free lists to allow register re-use (#1612) 2023-01-08 12:11:04 -07:00
Mark Thom aa7b8e52f3 use '$enqueue_attr_var' when adding attributes only 2022-12-24 00:31:47 -07:00
Mark Thom 820011412b Merge pull request #1658 from aarroyoc/copy_file 
Add predicate file_copy/2 in library(files)
 2022-12-18 21:22:25 +01:00
Mark Thom 81afa6942f Merge pull request #1672 from triska/deref_register 
dereference more registers, analogous to d660e4244f
 2022-12-18 21:21:58 +01:00
Mark Thom a2d46af5ac Merge pull request #1671 from aarroyoc/docs-iso-ext 
Compatible Doclog docs for library(iso_ext)
 2022-12-18 00:38:22 +01:00
Mark Thom 6d94b8ab75 Merge pull request #1669 from aarroyoc/docs-http-open 
Compatible Doclog docs for library(http/http_open).
 2022-12-18 00:38:13 +01:00
Mark Thom d804d8a92e use proper dynamic arities in JmpByCall and JmpByExecute (#1605, #1606) 2022-12-17 11:54:20 -07:00
Mark Thom cf63e8375d track attr_var_init lengths on the stack (#1667) 2022-12-16 20:10:17 -07:00
Mark Thom 1eff758751 update README to point to local wambook (#1668) 2022-12-16 00:45:00 -07:00
Mark Thom 0a8fc70ba9 detect cyclic bindings in attr_vars_of_term (#1666) 2022-12-16 00:42:38 -07:00
Mark Thom b4b72a3166 Merge pull request #1662 from mthom/interpreting_disj 
Fix mishandled if-then-else interpretation (#1659)
 2022-12-16 04:36:02 +01:00
Mark Thom a5054c0064 use append/3 rather than set_difference/3 to gather witnesses in bagof/3 and setof/3 (#1663, #1664) 2022-12-12 23:55:55 -07:00
Mark Thom 705f421d53 Merge pull request #1661 from aarroyoc/lcm2 
Add predicate lcm/2 to library(arithmetic)
 2022-12-12 00:38:40 +01:00
Mark Thom 4dc0114c52 fix mishandled if-then-else interpretation (#1659) 2022-12-11 16:35:32 -07:00
Mark Thom 209f7a239a Merge pull request #1657 from aarroyoc/docs-files 
Compatible Doclog docs for library(files)
 2022-12-10 18:09:01 +01:00
Mark Thom 0d404ad374 Merge pull request #1656 from aarroyoc/docs-ordsets 
Compatible Doclog docs for library(ordsets)
 2022-12-10 18:08:45 +01:00
Mark Thom d5db0c641c Merge pull request #1655 from triska/deref_register 
more uses of newly available deref_register(n)
 2022-12-10 18:08:26 +01:00
Mark Thom afa9703eb5 Merge pull request #1653 from triska/deref_register 
introduce and use deref_register(n)
 2022-12-07 05:52:07 +01:00
Mark Thom a8810d73e4 Merge pull request #1652 from aarroyoc/docs-lists 
Compatible Doclog docs for library(lists)
 2022-12-06 17:57:46 +01:00
Mark Thom 4b31c30cab Merge pull request #1651 from aarroyoc/docs-sockets 
Compatible Doclog docs for library(sockets)
 2022-12-06 17:57:36 +01:00
Mark Thom d660e4244f dereference encoding register in crypto_data_decrypt (#1650) 2022-12-05 23:28:47 -07:00
Mark Thom d383e5eb8b avoid pushing stack variables to the heap in get_continuation_chunk (#1644) 2022-12-05 23:17:15 -07:00
Mark Thom e1dc114517 Merge pull request #1649 from aarroyoc/docs-ugraphs 
Compatible Doclog docs for library(ugraphs)
 2022-12-05 06:05:13 +01:00
Mark Thom 73780ebf63 Merge pull request #1648 from aarroyoc/docs-random 
Compatible Doclog docs for library(random)
 2022-12-05 06:05:02 +01:00
Mark Thom a19f7a0b9f Merge pull request #1647 from aarroyoc/docs-uuid 
Compatible Doclog docs for library(uuid)
 2022-12-05 06:04:48 +01:00
Mark Thom e07473d155 Merge pull request #1646 from aarroyoc/docs-assoc 
Compatible Doclog docs for library(assoc)
 2022-12-05 06:04:30 +01:00
Mark Thom 3bdcc3aba9 return -1 from get_code to indicate end of file (#1622) 2022-11-18 18:19:55 -07:00
Mark Thom cb25b27963 Merge pull request #1640 from gruhn/master 
Adjust Github Action: Docker Publish
 2022-11-16 20:57:35 +01:00
Mark Thom 68b3c480c9 update Dockerfile to use rustc 1.61 2022-11-14 21:18:03 -07:00
Mark Thom 9fd1bf5574 mention #scryer in README 2022-11-14 21:16:46 -07:00
Mark Thom b491a06c6d README rustc version bump 2022-11-14 21:13:52 -07:00
Mark Thom d16312a314 use existing bindings in compile_is (#1545) 2022-11-14 20:58:07 -07:00
Mark Thom d19a8d6b98 begin to mark registers as safe from built-in predicates like is/2 (#1545) 2022-11-14 20:58:07 -07:00
Mark Thom c90dd80ece revise UnsafeVarMarker (#1545) 2022-11-14 20:57:51 -07:00
Mark Thom eb9d865635 Merge pull request #1635 from mthom/rebis-dev
Test / windows (push) Has been cancelled
Details
Docker Publish / build (push) Has been cancelled
Details
Test / build (macos-10.15, beta) (push) Has been cancelled
Details
Test / build (macos-10.15, stable) (push) Has been cancelled
Details
Test / build (ubuntu-20.04, beta) (push) Has been cancelled
Details
Test / build (ubuntu-20.04, stable) (push) Has been cancelled
Details
Test / msrv (macos-10.15) (push) Has been cancelled
Details
Test / msrv (ubuntu-20.04) (push) Has been cancelled
Details 
Merge rebis-dev into master
 2022-11-10 07:18:10 +01:00
Mark Thom c7e1f5d568 Merge pull request #1630 from epilys/fix-1625 
fix type_error with instantiated EOF -1 byte literal in get_byte/2
 2022-10-26 23:37:36 -06:00
Mark Thom fd97b84916 build partial strings using PStrLoc in write_term_to_heap (#1627) 2022-10-26 23:36:07 -06:00
Mark Thom 23f59970cb export asserta/2 (#1623) 2022-10-26 23:36:07 -06:00
Mark Thom 8781e03863 cache ball terms before unifying in handle_ball/3 (#1608) 2022-10-26 23:36:07 -06:00
Mark Thom 140149f051 fix crash in read_term (#1616) 2022-10-26 23:36:07 -06:00
Mark Thom 1109e05e06 properly match strings concluding with characters in lists (#1597) 2022-10-26 23:36:07 -06:00
Mark Thom 8a9cd7779c offset into complete strings with '$skip_max_list'/4 (#1529) 2022-10-26 23:36:07 -06:00
Mark Thom d4c0277065 don't return ops with priority 0 when building set for current_op (#1571) 2022-10-26 23:36:07 -06:00
Mark Thom 069e132c0e treat functors with PI '.'/2 as lists (#1570) 2022-10-26 23:36:07 -06:00
Mark Thom 4e6c138099 introduce expand_call_goal/3 to expand goals in control meta-predicates (#1568) 2022-10-26 23:36:07 -06:00
Mark Thom 78278c804f strip modules from GRBody in phrase/3 (#1565) 2022-10-26 23:36:07 -06:00
Mark Thom b51460a59a fail on non-list solutions in setof/3 (#1553) 2022-10-26 23:36:07 -06:00
Mark Thom 91d4e91f53 prefix inlined goals with module names in expand_subgoal/5 (#1551) 2022-10-26 23:36:07 -06:00
Mark Thom ad3ae7991b try to invoke '$call_inline' a second time in call/N (#1543) 2022-10-26 23:36:07 -06:00
Mark Thom 1ff52f70aa resolve phrase modules internally (#1541) 2022-10-26 23:36:07 -06:00
Mark Thom fce45167a5 fail when exception caught from subgoal expansion (#1535) 2022-10-26 23:36:07 -06:00
Mark Thom b8f384045c fix module resolution in dcgs, call/N (#1539) 2022-10-26 23:36:07 -06:00
Mark Thom ea95a7900c deduplicate index ptr inlining for 0-arity atoms (#1538) 2022-10-26 23:36:07 -06:00
Mark Thom edea1273c8 trim get_structure and put_structure arities when last arg is an index ptr (#1536) 2022-10-26 23:36:07 -06:00