rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,762 Commits 2 Branches 18 Tags
5749d43fb6b575f47a73b03bc8cacc86d39c8a8f
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 5749d43fb6 restore prolog_parser test files (#782) 2021-02-03 11:20:55 -07:00
Mark Thom 88f1160e2b use find_inner_choice_instr when appending an indexed clause to an indexed subsequence 2021-02-03 01:22:13 -07:00
Mark Thom e928a0aaea expand attributed variable goals 2021-02-02 21:47:59 -07:00
Mark Thom a2447ecaa3 replace Char '!' with QueryTerm::BlockedCut 2021-02-02 21:03:26 -07:00
Mark Thom 09a089d5f1 set target_pos' clause_start correctly in append_compiled_clause 2021-02-02 21:02:08 -07:00
Mark Thom 4e29099ed9 export loader's public predicates from builtins, handle module resolution from DCGs 2021-02-02 15:43:52 -07:00
Mark Thom 8900df6f13 add built_in to predicate_property 2021-02-02 15:03:14 -07:00
Mark Thom 814c034683 add meta-predicate declarations before their definitions 2021-02-01 19:26:50 -07:00
Mark Thom e1ec4bee75 move term expansion logic entirely into loader.pl 2021-02-01 16:50:05 -07:00
Mark Thom 6ed7767512 add module scoping to predicate_property, expand subgoals in module resolved predicates 2021-02-01 16:09:19 -07:00
Mark Thom 08b18af8a0 call attribute variable goals with module resolution 2021-02-01 14:48:13 -07:00
Mark Thom 75908ab88f replace (:) with 0 in meta-predicate declarations, remove support for (:) in meta-predicate declarations 2021-01-31 18:00:10 -07:00
Mark Thom fcba33997f Merge branch 'master' into rebis-dev 2021-01-31 12:41:18 -07:00
Mark Thom 134be307d3 Merge pull request #771 from notoria/args 
Handled the empty case (#770)
 2021-01-31 12:11:57 -07:00
Mark Thom 61b14d1cd9 fix bug in append_compiled_clause, generalize merging indexed subsequences of clauses 2021-01-31 01:18:45 -07:00
Mark Thom c2e3b47d29 properly thread functors whose first subterm is a variable in thread_goals/4 2021-01-30 23:37:23 -07:00
Mark Thom a239007db0 target prolog_parser_rebis on crates.io 2021-01-30 22:03:07 -07:00
Mark Thom c5e5eb8b86 explain motive for Rebis development branch in README.md 2021-01-30 21:29:41 -07:00
Mark Thom a4d15bfb88 move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation 2021-01-30 21:07:51 -07:00
Mark Thom b33158b92e Merge pull request #766 from aarroyoc/http-form 
HTTP Server: urlencoded forms and some syntax improvements
 2021-01-30 13:55:40 -07:00
Mark Thom 3b30c4d487 Merge pull request #769 from notoria/between 
Removed redundant choicepoint from between/3
 2021-01-30 13:55:05 -07:00
Mark Thom 70aa4934c5 Merge pull request #762 from aarroyoc/gh-action 
GitHub Actions
 2021-01-23 13:31:02 -07:00
Mark Thom d362ca3a6d Merge pull request #747 from triska/determinism 
reflect better determinism thanks to #732
 2020-12-29 14:43:30 -07:00
Mark Thom b8020db029 Merge pull request #726 from aarroyoc/http-server 
HTTP Server
 2020-12-29 13:07:59 -07:00
Mark Thom 01f73b11d8 fix bug in code walker causing entire clauses to be skipped (#736) 2020-12-26 22:35:28 -07:00
Mark Thom dd07226ab4 Merge pull request #743 from triska/determinism 
reflect determinism improvement thanks to the latest changes
 2020-12-23 13:22:02 -07:00
Mark Thom 6ad1e57123 Merge pull request #741 from triska/determinism 
reflect improved determinism thanks to the improvements by @notoria
 2020-12-22 19:18:46 -07:00
Mark Thom d290596c1d Merge pull request #740 from triska/indexing 
small documentation improvements related to the new indexing strategy
 2020-12-22 15:39:17 -07:00
Mark Thom 342b4a3b52 Merge pull request #734 from triska/deterministic_format 
ENHANCED: format_//2, format/[2,3], portray_clause/1 are now deterministic
 2020-12-22 14:51:56 -07:00
Mark Thom 19652e6367 Merge pull request #732 from notoria/indexing 
Implemented a different way to index clauses
 2020-12-22 14:51:10 -07:00
Mark Thom 22ffb1f53f Merge pull request #729 from brightly-salty/replace-dirs 
Replace dirs with dirs-next
 2020-12-15 10:04:46 -07:00
Mark Thom 7bde174b40 Merge pull request #722 from aarroyoc/history-file 
History file support (Rustyline 7.0) (#152)
 2020-12-06 15:50:52 -07:00
Mark Thom cf8014582b Merge pull request #720 from aarroyoc/max-min-list 
Add list_max & list_min to lists module
 2020-12-06 15:39:42 -07:00
Mark Thom c55de17ca8 Merge pull request #710 from triska/clpz-reif 
ADDED: Provisional support for (#=)/3 and (#<)/3.
 2020-11-08 14:40:32 -07:00
Mark Thom b9a53e441e support number/1 2020-11-03 23:38:55 -07:00
Mark Thom add62c2093 Merge branch 'master' of https://github.com/mthom/rusty-wam into master 2020-10-22 00:24:30 -06:00
Mark Thom de01ac233c Merge pull request #706 from malbarbo/fix-num 
Fix build with num features
 2020-10-20 21:43:03 -06:00
Mark Thom c9e926f451 Merge branch 'master' of https://github.com/mthom/rusty-wam into master 2020-10-20 15:25:38 -06:00
Mark Thom 5fbdb1af9f Merge pull request #702 from triska/showterm 
Add showterm.el and showterm.pl to the distribution
 2020-10-03 12:20:02 -06:00
Mark Thom ed7a4514de Merge pull request #700 from triska/development_environment 
DOC: Development environment recommendations.
 2020-10-01 13:41:52 -06:00
Mark Thom d71d9cc8ef Merge branch 'master' of https://github.com/mthom/rusty-wam into master 2020-09-14 10:46:11 -06:00
Mark Thom 108b62d839 Merge pull request #698 from triska/file_must_exist 
ENHANCED: library(files): Error handling if requested files do not exist.
 2020-09-13 10:30:50 -06:00
Mark Thom c39b239d78 Merge pull request #696 from triska/format_distinct_variables 
FIXED: format_//2: Keep different variables distinct.
 2020-09-05 08:50:07 -06:00
Mark Thom 03d1da4bf2 Merge pull request #694 from triska/write_all 
FIXED: reliably write all characters when using format/3
 2020-09-02 12:52:53 -06:00
Mark Thom 7e7aa7992a Merge pull request #689 from matteoredaelli/patch-1 
Update README.md
 2020-08-25 12:27:13 -03:00
Mark Thom 3ba2b8ade6 Merge pull request #686 from triska/call_nth 
ADDED: Preliminary version of call_nth/2.
 2020-08-24 16:07:40 -03:00
Mark Thom cdeb07520f Merge pull request #682 from triska/dif_improvements 
Improvements to dif/2
 2020-08-22 20:17:32 -03:00
Mark Thom 62c9b8390b Merge pull request #677 from notoria/clpz_mod 
Made mod stronger and addressed #675
 2020-08-15 13:55:48 -03:00
Mark Thom 79a74038ac Merge pull request #674 from notoria/clpz_mod 
Improved mod in clpz
 2020-08-14 00:21:19 -03:00
Mark Thom 32eaab0783 Merge pull request #671 from triska/clpb_restriction 
FIXED: CLP(B): Delay BDD restriction until after the instantiation.
 2020-08-12 16:59:51 -03:00
Mark Thom 74dc94f6bc Merge pull request #668 from triska/xbrl 
library(sgml): Correctly parse XML leaf nodes that are not text nodes.
 2020-08-11 19:53:02 -03:00
Mark Thom 5fa3b9f2fb Merge pull request #667 from triska/clpb_taut 
omit internal attributes in residual goals when using taut/2
 2020-08-11 15:54:34 -03:00
Mark Thom 8203eff47b update prolog_parser version (#657) 2020-08-08 16:29:35 -06:00
Mark Thom ad333047d9 Merge branch 'master' of https://github.com/mthom/scryer-prolog 2020-08-08 13:12:09 -06:00
Mark Thom 6e5d2d6a36 fix bugs in PausedPrologStream (#661) 2020-08-08 13:11:09 -06:00
Mark Thom 4b610b6293 Merge pull request #656 from notoria/try_from_number 
Fixed some conversion issues
 2020-08-08 12:24:29 -03:00
Mark Thom 2bd998e82f Merge pull request #660 from triska/shorter_crypto 
Shorten and improve implementation of several cryptographic routines
 2020-08-08 12:23:40 -03:00
Mark Thom f627b32355 fix crash in CryptoPasswordHash (#653), conversion of Rational integers in number_chars/2 (#655) 2020-08-06 00:17:55 -06:00
Mark Thom 10ba6fb773 Merge pull request #654 from triska/aad 
ADDED: library(crypto): Support for additional authenticated data (AAD).
 2020-08-06 02:40:51 -03:00
Mark Thom 79cf0c63c4 update prolog_parser to 0.8.67 (#648) 2020-08-04 23:35:10 -06:00
Mark Thom d57a592273 unify '[]' with proper [] in atom_chars/2 (#569) 2020-08-03 19:29:53 -06:00
Mark Thom 4f15802fbc reconcile '[]' and [] (#644), solve remaining conformity issues (#648), move (-->) from dcgs.pl to builtins.pl (#649) 2020-08-02 23:35:53 -06:00
Mark Thom 357ae7a8aa Merge pull request #647 from notoria/newline 
Improved readline
 2020-07-31 18:19:12 -03:00
Mark Thom 249f034a38 Merge pull request #645 from triska/curve25519 
ADDED: library(crypto): ECDH key exchange over Curve25519 (X25519)
 2020-07-30 10:29:20 -03:00
Mark Thom 386f7cf65d the indexer now categorizes partial strings only as lists (#623, #642) 2020-07-27 16:43:43 -06:00
Mark Thom 8dc07882b6 try to build strings from list as potential matches in SwitchOnConstant (#623) 2020-07-26 19:16:05 -06:00
Mark Thom 320802633f Merge pull request #639 from triska/flush_output 
ENHANCED: flush output for impure I/O (format/[2,3], portray_clause/1 etc.)
 2020-07-25 13:20:45 -03:00
Mark Thom e7c27ed999 Merge pull request #638 from triska/base64 
ADDED: chars_base64/3 for efficient bidirectional Base64 conversion.
 2020-07-23 19:49:12 -03:00
Mark Thom 82dfa690d2 Merge pull request #636 from triska/path_segments 
ADDED: path_segments/2 for portable reasoning about path components.
 2020-07-19 13:16:27 -03:00
Mark Thom bd0aa16322 Merge pull request #633 from triska/file_time 
ADDED: file_creation_time/2 and file_access_time/2.
 2020-07-18 12:40:53 -03:00
Mark Thom a1746a5bf1 Merge pull request #631 from cduret/lib_csv 
add write_csv & change skip_header to with_header option
 2020-07-18 12:40:28 -03:00
Mark Thom fb502fb66b Merge pull request #635 from triska/more_links 
DOC: add more links to libraries, and include iso_ext in the enumeration
 2020-07-18 12:40:09 -03:00
Mark Thom f0c8056334 look up operator precedence when arity does not match what the atom records, don't print brackets around outermost '+' (#629) 2020-07-17 11:02:58 -06:00
Mark Thom 5fd78320dd slight update to the BiMetaTrans README 2020-07-10 15:22:15 -06:00
Mark Thom 3195042c7d update bimetatrans tests 2020-07-10 10:26:48 -06:00
Mark Thom b0234fa8b7 add bimetatrans README 2020-07-09 20:53:13 -06:00
Mark Thom c1b577f2c7 build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 (#617) 2020-06-29 00:58:10 -06:00
Mark Thom 3ede5ea28f Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-06-19 00:58:43 -06:00
Mark Thom cfd15f4e02 allow paths in use_module(library(..)) (#604) 2020-06-19 00:57:56 -06:00
Mark Thom 1f9ff2dd88 clarify meaning of AssertItems and QueryItems in BiMetaTrans source-level documentation 2020-06-18 23:47:54 -06:00
Mark Thom bc81ff28d8 cover Addr::Fixnum when not referenced as an Addr::Con, undefine dynamic predicate definitions from within modules too (#588) 2020-06-16 19:03:07 -06:00
Mark Thom ba867e95c3 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-06-16 18:47:53 -06:00
Mark Thom 53f99ca434 fix copy_partial_string bug (#572) 2020-06-16 18:47:39 -06:00
Mark Thom 0f017339b7 change the plurality of AssertItem(s), QueryItem(s) in bimetatrans.pl 2020-06-15 16:38:27 -06:00
Mark Thom 2c6b615b8c fix broken links in README (#591) 2020-06-13 10:46:53 -06:00
Mark Thom 2f02c428cc rename bimetatrans example files and directory 2020-06-12 18:32:48 -06:00
Mark Thom 1732413ee1 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-06-12 18:28:07 -06:00
Mark Thom 33325f1574 remove vestigial prolog/ directory (#444) 2020-06-12 18:26:38 -06:00
Mark Thom 5ffb4597b3 add missing ! in int_pow (#580) 2020-06-11 22:28:05 -06:00
Mark Thom d9de38b935 adjust the tail created by CreatePartialString to point to the last cell it pushed to the heap (#586) 2020-06-11 21:25:20 -06:00
Mark Thom ad459b83c0 credit Ulrich Neumerkel for partial strings in README 2020-06-11 21:24:20 -06:00
Mark Thom f84c831cda remove most cuts from bimetatrans_ruleml.pl 2020-06-11 12:22:35 -06:00
Mark Thom 904cf97f7d fix printing of atoms like '.x' (#585) 2020-06-11 11:11:04 -06:00
Mark Thom 791e22dc24 eliminate unnecessary find_min_time_ predicate in least_time.pl example 2020-06-10 22:25:23 -06:00
Mark Thom e16762a137 scryer and prolog_parser version bump (#581) 2020-06-10 14:29:22 -06:00
Mark Thom 4a07ffac69 prolog_parser version bump, scryer version bump 2020-06-09 22:15:11 -06:00
Mark Thom 3b5730be54 s/prolog-implementation/prolog-system (cargo does not allow keywords to exceed 20 characters) 2020-06-04 23:29:48 -06:00
Mark Thom 961c4a1b9c bump version number 2020-06-04 23:25:21 -06:00
Mark Thom 72c5908f09 update prolog_parser version, correct atom_chars/2 (#379) 2020-06-04 23:23:49 -06:00
Mark Thom 2a588ff943 remove double_quotes checks from unnecessary places in system_calls.rs and elsewhere (#513, #542) 2020-06-04 21:03:41 -06:00