rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,135 Commits 2 Branches 18 Tags
3f971174e4985104b19e79b3486f444b1e44cac8
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 3f971174e4 quote single dots only 2020-04-18 14:16:40 -06:00
Mark Thom 37f1f8ac14 allow characters as atoms in Machine::use_module and Machine::use_qualified_module 2020-04-18 14:16:40 -06:00
Mark Thom 474fa9b3ec remove underscores in printed variables produced by write_term_to_chars (#340) 2020-04-18 14:16:40 -06:00
Mark Thom 6d7b14ceb5 don't count the terminator in PStrIter len 2020-04-18 14:16:40 -06:00
Mark Thom af14832b6c quote dot when quoted(true) (#349) 2020-04-18 14:16:40 -06:00
Mark Thom 9ef185978f privilege new op declarations over old ones (#346) 2020-04-18 14:16:40 -06:00
Mark Thom 38bb44664c interrupt running queries and return to toplevel (#323) 2020-04-18 14:16:40 -06:00
Mark Thom 124d924ff5 write [a,b,c] correctly with write_canonical (#349) 2020-04-18 14:16:40 -06:00
Mark Thom c9074d8d96 properly iterate through UTF-8 strings (#350) 2020-04-14 23:14:47 -06:00
Mark Thom f6c995157e clean up print_list_like 2020-04-14 14:26:30 -06:00
Mark Thom a059a9fbdc print lists as strings when possible (#295) 2020-04-14 13:28:51 -06:00
Mark Thom 7799ed36f0 provide better variable names in write_term_to_chars/3 (#340) 2020-04-14 10:39:10 -06:00
Mark Thom db5ed345bc improve writeX performance (#290) 2020-04-14 10:25:05 -06:00
Mark Thom 082c6a9e64 copy operator exports to impromptu modules (#307) 2020-04-14 01:03:49 -06:00
Mark Thom b74a4d5225 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-04-14 00:40:57 -06:00
Mark Thom 16a572c250 change from xsi to iso in bimetatrans, correct atomic/1 failure (#343) 2020-04-14 00:40:51 -06:00
Mark Thom 6a8a2d6f56 Merge pull request #345 from triska/master 
ADDED: group_pairs_by_key/2
 2020-04-13 19:24:52 -03:00
Mark Thom 15d18484e3 version bump 2020-04-13 11:17:50 -06:00
Mark Thom 378e9b5539 Merge pull request #327 from srenatus/sr/pass-argv-as-partial-strings 
use partial strings for passing argv to toplevel.pl
 2020-04-13 11:17:08 -03:00
Mark Thom 7a135bd87c Merge pull request #342 from srenatus/sr/fix-cargo-install 
main: fix version reporting without git
 2020-04-13 11:16:55 -03:00
Mark Thom 9ac71f304d Merge pull request #341 from triska/master 
the workaround is no longer necessary, since #336 is now corrected
 2020-04-13 09:13:17 -03:00
Mark Thom 4ca7ac4851 use prolog_parser 0.8.50 (#336) 2020-04-13 00:32:41 -06:00
Mark Thom 02eb24cd57 correct partial string copying by resetting threshold to redirected partial string stubs to 0 2020-04-12 23:33:07 -06:00
Mark Thom 787fbe1bb6 use partial_string/1 in place of the removed string/1 in bimetatrans_ruleml.pl 2020-04-12 22:27:53 -06:00
Mark Thom 7678858bab update Cargo.lock 2020-04-12 22:01:59 -06:00
Mark Thom bf7a28f07c bump version to 0.8.119 2020-04-12 21:59:22 -06:00
Mark Thom 9e54b1406c Merge pull request #338 from triska/master 
also include a newline in portray_clause/1
 2020-04-12 20:35:48 -03:00
Mark Thom ea5203d8c3 Merge pull request #337 from triska/master 
ADDED: provide a rudimentary version of portray_clause/1
 2020-04-12 20:10:21 -03:00
Mark Thom 0fad2f9953 make write_term_to_chars work with variable terms (#335) 2020-04-12 18:10:45 -06:00
Mark Thom d3a9392421 provide read_term_from_chars/2 (#334) 2020-04-12 17:26:11 -06:00
Mark Thom 7621155a89 change wording of QueryCannotBePostedAsFact to QueryCannotBeDefinedAsFact, remove old commented code in read.rs 2020-04-12 16:01:53 -06:00
Mark Thom 4ddc4ebf46 Merge pull request #333 from triska/master 
incorporate the latest improvements in the description of partial strings
 2020-04-12 16:00:01 -03:00
Mark Thom b4ff429bfa Merge pull request #332 from triska/master 
ENHANCED: ~w now supports compound terms, and ~q is now also available
 2020-04-12 15:00:20 -03:00
Mark Thom f2cf0ec459 move write_term_to_chars/3 to src/prolog/lib/charsio.pl 2020-04-12 14:42:39 -06:00
Mark Thom 0380d70a46 add write_term_to_chars/3 to iso_ext.pl (#288) 2020-04-12 14:29:28 -06:00
Mark Thom 28099b9812 correct misleading error for modules (#300) 2020-04-12 12:51:59 -06:00
Mark Thom 2ce4f602c0 be more judicious with at_cdr in print_string (#295) 2020-04-12 12:18:15 -06:00
Mark Thom 5e81fb4754 throw exception when attempting to post query as goal (#329) 2020-04-12 12:07:41 -06:00
Mark Thom 97d8d07947 recognize empty lists as partial strings (#328) 2020-04-11 23:08:15 -06:00
Mark Thom 4f0adad78e remove string/1, use a more general test for the partial_string/1 type test (#328) 2020-04-11 22:47:52 -06:00
Mark Thom 0499005db5 throw error when trying to use partial lists as DCG terminal-sequence (#286) 2020-04-11 22:40:29 -06:00
Mark Thom aedffb3cfe remove unnecessary use of partial_string in bimetatrans example 2020-04-11 22:02:17 -06:00
Mark Thom fff96e69db Merge pull request #310 from triska/bimeta_example 
Bimeta example
 2020-04-11 22:03:10 -03:00
Mark Thom abc99c9dd8 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-04-11 21:59:25 -06:00
Mark Thom 6e4b76a3b4 compile special instructions for partial strings when recognized 2020-04-11 21:53:28 -06:00
Mark Thom 92d8642133 do not accept [X|Xs] patterns as DCG non-terminals (#286) 2020-04-11 21:52:45 -06:00
Mark Thom 184124586b Merge pull request #320 from triska/master 
add library(freeze) to make zcompare/3 work
 2020-04-09 12:26:31 -03:00
Mark Thom 45a99e576d Merge pull request #318 from triska/master 
extend description of strings and partial strings
 2020-04-08 16:59:13 -03:00
Mark Thom 036c35729c Merge pull request #316 from triska/master 
clpz_monotonic/0 --> monotonic/0
 2020-04-08 13:18:42 -03:00
Mark Thom a3c3afba48 fix list index offset bug (#314) 2020-04-06 16:15:36 -06:00
Mark Thom 2e5ce0249e Merge pull request #312 from triska/master 
ADDED: CLP(ℤ), Constraint Logic Programming over Integers
 2020-04-05 21:14:11 -03:00
Mark Thom 560298655b consolidate Cargo.lock 2020-04-05 20:34:49 -06:00
Mark Thom 4086df27b2 merge with master 2020-04-05 20:33:45 -06:00
Mark Thom d76ae413c4 use fixnums in place of bignums where possible 2020-04-05 20:32:16 -06:00
Mark Thom c8855f97e8 allocate empty partial strings 2020-04-05 02:55:30 -06:00
Mark Thom bbf1aa1668 use copy_term/3 to print residual goals (#254) 2020-04-05 02:55:04 -06:00
Mark Thom 141f3bcec3 harmonize partial strings with complete strings (#276), make Addr a copyable type 2020-04-03 10:22:46 -06:00
Mark Thom 8f11fd7c62 Merge pull request #306 from srenatus/sr/version-argument 
main: add -v/--version flag
 2020-04-03 00:35:51 -03:00
Mark Thom 9f960c25a5 add bimetatrans_ruleml.pl to examples 2020-03-30 20:00:08 -06:00
Mark Thom 7de39611f3 Merge pull request #305 from srenatus/sr/typo 
examples/least_time.pl: fix typo
 2020-03-27 14:35:17 -03:00
Mark Thom cac76d4739 Merge branch 'master' into develop 2020-03-26 22:01:25 -06:00
Mark Thom 194e5dc94e initial commit for merge 2020-03-26 22:01:23 -06:00
Mark Thom f7629362d7 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-03-19 20:42:37 -06:00
Mark Thom ea0c396114 add least_time example 2020-03-19 20:42:11 -06:00
Mark Thom 057e2d8056 provide contextual information in the return value of try_in_situ_result 2020-03-19 20:41:58 -06:00
Mark Thom 487fe21e25 #278 2020-03-19 17:49:17 -06:00
Mark Thom 54dce9b60e Merge pull request #294 from triska/format 
ENHANCED: format_//2 now supports ~a, ~d, ~Nd, ~D, ~ND, ~Nn, ~i and ~*
 2020-03-19 20:00:40 -03:00
Mark Thom 121c8d8a48 Merge pull request #293 from triska/documentation 
update toplevel interaction
 2020-03-17 13:55:05 -03:00
Mark Thom b1d8eff019 remove Addr::PStrTail (#276) 2020-03-17 02:03:29 -06:00
Mark Thom f9c4a40d60 add set_input/1, set_output/1 2020-03-15 23:29:21 -06:00
Mark Thom 8e318f76a7 correct contextual quoting of chars 2020-03-15 21:15:42 -06:00
Mark Thom 7d21ea93a6 Merge pull request #289 from triska/documentation 
include a short overview of notable libraries
 2020-03-15 12:09:44 -03:00
Mark Thom 8630ba4a2d Merge pull request #291 from triska/toplevel 
Two small toplevel features
 2020-03-15 12:09:25 -03:00
Mark Thom bef96e231d use max_depth at toplevel, allowing full printing of terms with the 'w' keypress (#287), put disjunctions on new lines (#278) 2020-03-15 00:35:59 -06:00
Mark Thom 325df8a6e3 add provisional max_depth option to write_term, speed printing of non-cyclic terms 2020-03-15 00:09:20 -06:00
Mark Thom 3620f72b6c output strings more efficiently 2020-03-14 18:17:11 -06:00
Mark Thom 42a90b2d40 don't emit overwriting warnings for term_expansion/2 or goal_expansion/2 2020-03-14 14:18:01 -06:00
Mark Thom 97aab6950c correct DCG descriptions of lists (#286) 2020-03-14 14:14:26 -06:00
Mark Thom 31258247b3 Give new answer variables readable names (#279) 2020-03-14 03:04:11 -06:00
Mark Thom beed4e8aa8 print strings as strings only in the term expander 2020-03-13 21:05:25 -06:00
Mark Thom c60a0bc062 print strings as strings (#285) 2020-03-13 18:24:13 -06:00
Mark Thom 733c2d4152 eliminate inner_numbervar_count 2020-03-13 17:12:35 -06:00
Mark Thom 79b5857f72 Merge pull request #284 from triska/master 
ADDED: library(format), describing strings with format_//2
 2020-03-13 17:06:27 -03:00
Mark Thom 7260eba26a allow module export of nonterminals (#281) 2020-03-13 15:40:03 -06:00
Mark Thom 7e7a1b2caf properly handle '\n' when quoted and not (#283, #280) 2020-03-13 15:32:56 -06:00
Mark Thom 99181e3302 fix -names (#275) 2020-03-13 13:49:12 -06:00
Mark Thom d57d2b96d6 Revert "fix $VAR-names (#275) and properly print single control chars (#280)" 
This reverts commit d3eb31e4c3.
 2020-03-13 13:47:58 -06:00
Mark Thom 6c9e704aa8 sort variables in findall_with_existential before computing set difference (#282), trawl back changes of (#279) 2020-03-13 13:18:47 -06:00
Mark Thom d3eb31e4c3 fix $VAR-names (#275) and properly print single control chars (#280) 2020-03-13 02:48:40 -06:00
Mark Thom 698b01f85a give new answer variables readable names (#279) 2020-03-13 02:40:06 -06:00
Mark Thom 4c88e97330 add current_output, printing of stream terms 2020-03-11 00:38:01 -06:00
Mark Thom 25babff827 add streams.rs, consume them in place of the old PrologStream 2020-03-09 11:56:16 -06:00
Mark Thom 23e833c69e update README.md 2020-03-08 18:02:06 -06:00
Mark Thom 22bb3fe876 replace termion with crossterm 2020-03-08 18:01:54 -06:00
Mark Thom eee10d3ee7 fix broken conformity tests, quote left paren 2020-03-08 16:49:47 -06:00
Mark Thom c7591045af represent the current_dir as an absolute path, not a relative one. (#262) 2020-03-07 16:00:10 -07:00
Mark Thom 6ddfef6383 count single character atoms as characters when generating first argument indices 2020-03-06 21:19:53 -07:00
Mark Thom 9852e30b39 compare characters directly in term comparison tests 2020-03-05 12:50:11 -07:00
Mark Thom 2d3ce32314 switch to representation error for partial strings (#267) 2020-03-01 23:21:35 -07:00
Mark Thom d8e0bea110 correct handling of strings and partial strings as lists, print bar operator with surrounding spaces (#274) 2020-03-01 00:00:40 -07:00