rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
2,711 Commits 2 Branches 18 Tags
03eba9594bc38f726b65110563097279966cd7db
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Mark Thom ec9c763211 print index_ptr offset (#1534) 2022-10-26 23:36:07 -06:00
Mark Thom 5a08117e75 use separate predicate for findall cleanup 2022-10-26 23:36:07 -06:00
Mark Thom 0aec980aa8 inference count call_inline, fail on undefined index 2022-10-26 23:36:07 -06:00
Mark Thom 6b05ee5130 streamline assertz/1, asserta/1 2022-10-26 23:36:07 -06:00
Mark Thom 1ffbf63d20 inline metacalls 2022-10-26 23:36:07 -06:00
Mark Thom 311d985145 Merge pull request #1628 from epilys/fix-1626 
Fix xor/2 type error reporting wrong argument
 2022-10-25 20:46:49 -06:00
Mark Thom 6b8e620495 Merge pull request #1530 from RossSmyth/FixImports 
Fixed imports for num-rug-adapter
 2022-07-18 21:36:46 -06:00
Mark Thom 607c84a79b capture and propagate (=..)/2 errors in phrase/{2,3} (#1460) 2022-06-21 22:47:55 -06:00
Mark Thom 2eec6499ff propagate inference_limit_exceeded errors through the loader (#1298) 2022-06-18 11:26:31 -06:00
Mark Thom cd1150c11d use setup_cal_n_init_goal_info in dynamic_module_resolution 2022-06-15 22:33:13 -06:00
Mark Thom 987bbdecf5 improve efficiency of call/N, replace '$call_with_default_policy' with 
'$call_with_inference_counting'
 2022-06-12 22:34:07 -06:00
Mark Thom a68394b6f2 simplify detecting undefined goal_ and term_expansion 2022-06-12 22:34:07 -06:00
Mark Thom 3d6fbabc86 Merge pull request #1510 from Skgland/add-gitattributes 
add a .gitattributes file
 2022-06-12 15:44:14 -06:00
Mark Thom 336311ecc8 replace call with $call in more meta-predicates 2022-06-06 09:28:03 -06:00
Mark Thom e9bb35c895 emit indexing instructions in single clauses of dynamic predicates 2022-06-04 23:43:48 -06:00
Mark Thom ab4f93dcee do not emit indexing instructions for single clause subsequences (#1503) 2022-06-04 15:29:00 -06:00
Mark Thom 140a199805 Merge pull request #1505 from Skgland/optional_rustfmt 
make rustfmt optional
 2022-06-04 09:56:51 -06:00
Mark Thom c36d4a9c9a unmark cells in arith_eval_by_metacall (#1497) 2022-06-01 00:02:11 -06:00
Mark Thom 4b5c22864e don't print superfluous round brackets in curly braces (#1416) 2022-05-31 23:34:55 -06:00
Mark Thom 5e1faeb5d2 fix broken quoting in writeq/1 (#1498) 2022-05-31 18:29:42 -06:00
Mark Thom 4b7c2ba6c8 fix off-by-one error reporting in write_term/3 (#1490) 2022-05-30 23:25:44 -06:00
Mark Thom b9285f8de1 don't quote most characters in strings (#1495, #301) 2022-05-30 23:09:20 -06:00
Mark Thom 084fc84590 use existence_error for dropped streams (#1472) 2022-05-23 11:15:58 -06:00
Mark Thom 7a9b71cc03 Merge pull request #1485 from triska/in_character 
Implement and use can_be(in_character, ...)
 2022-05-22 19:52:19 -06:00
Mark Thom 10a11c293e fix stream position and term comparison bugs (#1472) 2022-05-22 14:16:14 -06:00
Mark Thom e486862db8 Merge pull request #1484 from aarroyoc/fix-windows-build-2 
Fix build on Windows 10
 2022-05-22 10:15:16 -06:00
Mark Thom bef8eb538c throw a representation error if max arity is exceeded (#1483) 2022-05-22 00:03:55 -06:00
Mark Thom 4e3b066555 Merge pull request #1482 from triska/multiple_of_five_answers 
ENHANCED: "f" on toplevel to report answers up to the next multiple of 5.
 2022-05-21 12:35:35 -06:00
Mark Thom 4d23542ef3 add max arity checks at various stages (#1459) 2022-05-21 12:32:48 -06:00
Mark Thom b6f77f4e6f check asserta/2, assertz/2, abolish/2 for uninstantiated Module variables (#1475) 2022-05-16 20:45:45 -06:00
Mark Thom b96cd06129 detect character type errors in atom_{chars|codes}/2 (#1472) 2022-05-16 16:32:38 -06:00
Mark Thom e8eb6765bd Merge pull request #1478 from triska/sgml_improvements 
Various improvements to library(sgml)
 2022-05-15 09:44:44 -06:00
Mark Thom 8df552e952 Merge pull request #1477 from triska/document_tab_completion 
document atom and predicate completion with TAB
 2022-05-15 09:44:26 -06:00
Mark Thom 66e047083a Merge pull request #1474 from triska/correct_can_be_chars 
FIXED: can_be(chars, [a,X]), i.e., if variables occur as elements
 2022-05-14 23:28:04 -06:00
Mark Thom e6438e79d8 consider deallocate a head instruction (#1473) 2022-05-14 11:01:26 -06:00
Mark Thom 2f3de51e55 remove non-determinism in number_chars/2 and numbercodes/2 (#1473) 2022-05-13 18:38:58 -06:00
Mark Thom cea1353fbb use must_be(chars) in number_chars/2 (#1470) 2022-05-12 01:09:06 -06:00
Mark Thom bfbafd4168 Merge pull request #1467 from euanlacy/master 
Completion of predicates in repl
 2022-05-11 22:32:09 -06:00