rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,635 Commits 2 Branches 18 Tags
d91ee5b77cf77d701f215a126bbd3f6433bd5da7
Commit Graph
2635 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 5f8f0d8573 remove underscores in printed variables produced by write_term_to_chars (#340) 2020-04-15 10:27:20 -06:00
Mark Thom f56e0a6586 don't count the terminator in PStrIter len 2020-04-15 10:07:44 -06:00
Markus Triska 2c96420bc4 ADDED: list_to_set/2, using the first occurrence of each element 
Example:

    ?- list_to_set([B,a,b,a,B,A,b,A], Ls).
       Ls = [B,a,b,A]
    ;  false.
 2020-04-15 18:04:01 +02:00
Mark Thom 8d95eb57fa quote dot when quoted(true) (#349) 2020-04-15 00:54:32 -06:00
Mark Thom a9a5e79e85 privilege new op declarations over old ones (#346) 2020-04-15 00:37:00 -06:00
Mark Thom 2b720b8d0b interrupt running queries and return to toplevel (#323) 2020-04-15 00:08:35 -06:00
Mark Thom 93a0ab7f0a write [a,b,c] correctly with write_canonical (#349) 2020-04-14 23:25:15 -06:00
Mark Thom 18dd55d1f4 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-04-14 23:15:01 -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 2ac6596ba9 Merge pull request #348 from triska/master 
update the toplevel description, incorporating the latest changes
 2020-04-14 14:29:40 -03:00
Markus Triska 2d1f57e839 update the toplevel description, incorporating the latest changes 2020-04-14 19:24:13 +02: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
Markus Triska 237c855f10 ADDED: group_pairs_by_key/2 
Pairs must be keysorted and may also contain variables as keys.

Examples:

    ?-  group_pairs_by_key([1-a,1-b,2-c], Ps).
       Ps = [1-[a,b],2-[c]].

    ?-  group_pairs_by_key([X-a,X-b,2-c], Ps).
       Ps = [X-[a,b],2-[c]].
 2020-04-14 00:10:33 +02: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
Stephan Renatus 9e907e36e2 main: fix version reporting without git 
Fixes #339.

At least I hope so. I didn't come up with an idea how to test this with
little effort.

Signed-off-by: Stephan Renatus <srenatus@chef.io>
 2020-04-13 15:50:33 +02: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
Markus Triska ab9b604d02 the workaround is no longer necessary, since #336 is now corrected 2020-04-13 11:32:06 +02:00
Stephan Renatus 155645307a use partial strings for passing argv to toplevel.pl 
In run_top_level: rename variables, make them partial strings

The rename is mostly cosmetic: all of argv is passed, and if argv
contains flags, goals, etc, it's more than filenames.

Using partial strings instead of atom came from discussions about how to
pass goals in the CLI, and can thus be considered preliminary work for
that.

In toplevel.pl: convert partial string to atom before passing it to
`use_module`.

Signed-off-by: Stephan Renatus <srenatus@chef.io>
 2020-04-13 10:10:10 +02: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
v0.8.119 		2020-04-12 20:35:48 -03:00
Markus Triska f52c9772a7 also include a newline in portray_clause/1 2020-04-13 01:24:15 +02: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
Markus Triska 208927544d ADDED: provide a rudimentary version of portray_clause/1 
At the moment, library(format) seems to be a fitting place.
In the eventual library organization, portray_clause/1 and
related predicates may be moved to their own dedicated library.
 2020-04-13 01:04:52 +02: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
Markus Triska 786f0b5ca2 incorporate the latest improvements in the description of partial strings 
As of 6e4b76a3b4, the use of
partial_string/3 can be replaced by (=)/2 in this example.
 2020-04-12 20:46:22 +02: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
Markus Triska c9f1a95343 ENHANCED: ~w now supports compound terms, and ~q is now also available 2020-04-12 19:56:01 +02: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