]>
Repositorios git - scryer-prolog.git/log
Mark Thom [Tue, 8 Oct 2019 18:28:23 +0000 (12:28 -0600)]
fix several issues with goal expansion, crashing after attribute_goals is called
Mark Thom [Sun, 6 Oct 2019 18:02:47 +0000 (12:02 -0600)]
update prolog_parser to v0.8.33
Mark Thom [Sat, 5 Oct 2019 06:17:57 +0000 (00:17 -0600)]
implement DCGs using the logical expansion of the draft proposal
Mark Thom [Sat, 5 Oct 2019 02:03:03 +0000 (20:03 -0600)]
fixes for issues #185 and #181
Mark Thom [Fri, 4 Oct 2019 21:41:48 +0000 (15:41 -0600)]
correct dcg handling of cuts
Mark Thom [Fri, 4 Oct 2019 21:32:26 +0000 (15:32 -0600)]
print errors with line numbers in GNU style
Mark Thom [Fri, 4 Oct 2019 16:38:45 +0000 (10:38 -0600)]
perform singleton variable scans on top level terms only
Mark Thom [Fri, 4 Oct 2019 05:29:18 +0000 (23:29 -0600)]
make attribute_goals a nonterminal
Mark Thom [Fri, 4 Oct 2019 04:13:34 +0000 (22:13 -0600)]
fix goal expansion in disjunctions, add warnings for singleton variables
Mark Thom [Thu, 3 Oct 2019 04:30:00 +0000 (22:30 -0600)]
don't add default index for dynamic predicates unless defined at toplevel
Mark Thom [Thu, 3 Oct 2019 04:13:31 +0000 (22:13 -0600)]
update version
Mark Thom [Thu, 3 Oct 2019 04:01:32 +0000 (22:01 -0600)]
properly handle undefined predicates declared dynamic
Mark Thom [Wed, 2 Oct 2019 23:01:03 +0000 (17:01 -0600)]
print attributes of variables when attribute_goals/2 is not defined
Mark Thom [Wed, 2 Oct 2019 21:51:48 +0000 (15:51 -0600)]
correct handling of ! in phrase/{2,3}, get rid of extraneous choice points in put_atts/2 and get_atts/2, allow loading of non-module files from the command line and use_module/{2,3}
Mark Thom [Wed, 2 Oct 2019 21:09:34 +0000 (15:09 -0600)]
properly expand goals in initialization directives
Mark Thom [Wed, 2 Oct 2019 17:33:28 +0000 (11:33 -0600)]
remove readline_compat_rs reference from README
Mark Thom [Wed, 2 Oct 2019 05:25:17 +0000 (23:25 -0600)]
expand goals in initialization directives.
Mark Thom [Wed, 2 Oct 2019 04:36:46 +0000 (22:36 -0600)]
eliminate extraneous choice point in $get_attr
Mark Thom [Tue, 1 Oct 2019 22:51:22 +0000 (16:51 -0600)]
add the initialization directive
Mark Thom [Mon, 30 Sep 2019 20:09:02 +0000 (14:09 -0600)]
limit scope of raw mode on stdout to allow interrupts to work
Mark Thom [Mon, 30 Sep 2019 19:27:22 +0000 (13:27 -0600)]
return to toplevel from a long running query after receiving Ctrl-C
Mark Thom [Mon, 30 Sep 2019 18:21:53 +0000 (12:21 -0600)]
fix improper consolidation of DCG variables
Mark Thom [Mon, 30 Sep 2019 16:26:29 +0000 (10:26 -0600)]
add use_module/{1,2} as full fledged predicates
Mark Thom [Sun, 29 Sep 2019 16:16:27 +0000 (10:16 -0600)]
support loading of modules from files specified at the command line
Mark Thom [Sun, 29 Sep 2019 16:05:40 +0000 (10:05 -0600)]
devour dangling whitespace before checking for EOF
Mark Thom [Fri, 27 Sep 2019 06:05:19 +0000 (00:05 -0600)]
target out_dir in build script
Mark Thom [Fri, 27 Sep 2019 05:10:04 +0000 (23:10 -0600)]
make *.pl files in src/prolog/lib available from libraries.rs
Mark Thom [Thu, 26 Sep 2019 17:25:05 +0000 (11:25 -0600)]
migrate to rustyline, add history support
Mark Thom [Thu, 26 Sep 2019 04:52:11 +0000 (22:52 -0600)]
Merge pull request #164 from triska/master
ADDED: library(si) for safe type tests.
Mark Thom [Thu, 26 Sep 2019 04:40:31 +0000 (22:40 -0600)]
ignore single line comments after end token read
Markus Triska [Wed, 25 Sep 2019 21:17:50 +0000 (23:17 +0200)]
ADDED: library(si) for safe type tests.
Mark Thom [Mon, 23 Sep 2019 14:56:51 +0000 (11:56 -0300)]
Merge pull request #151 from Atul9/cargo-fmt
Format code using 'cargo fmt'
Atul Bhosale [Mon, 23 Sep 2019 12:35:37 +0000 (19:35 +0700)]
Format code using 'cargo fmt'
Mark Thom [Sun, 22 Sep 2019 23:31:25 +0000 (17:31 -0600)]
replace HashMap with IndexMap and HashSet with IndexSet
Mark Thom [Sun, 22 Sep 2019 22:06:50 +0000 (16:06 -0600)]
add wam_instructions/2 to render predicate instructions as lists of functors
Mark Thom [Wed, 18 Sep 2019 04:50:50 +0000 (22:50 -0600)]
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom [Wed, 18 Sep 2019 04:50:32 +0000 (22:50 -0600)]
print line numbers to trace the location of parsing errors
Mark Thom [Fri, 13 Sep 2019 01:04:57 +0000 (22:04 -0300)]
Merge pull request #159 from XVilka/patch-1
Create Travis CI config
Anton Kochkov [Thu, 12 Sep 2019 07:46:40 +0000 (15:46 +0800)]
Create Travis CI config
Mark Thom [Fri, 6 Sep 2019 04:43:50 +0000 (22:43 -0600)]
address issue #153
Mark Thom [Thu, 5 Sep 2019 05:30:48 +0000 (23:30 -0600)]
check for and load .scryerrc from the user's home directory
Mark Thom [Tue, 3 Sep 2019 21:18:43 +0000 (15:18 -0600)]
fix read module if readline is not present
Mark Thom [Tue, 3 Sep 2019 14:10:51 +0000 (10:10 -0400)]
slight formatting changes
Mark Thom [Mon, 2 Sep 2019 20:53:31 +0000 (16:53 -0400)]
address issues #143, #150, #155
Mark Thom [Fri, 21 Jun 2019 00:59:27 +0000 (20:59 -0400)]
add fail predicate
Mark Thom [Sun, 16 Jun 2019 05:25:42 +0000 (01:25 -0400)]
re: issue #144
Mark Thom [Fri, 14 Jun 2019 13:00:43 +0000 (09:00 -0400)]
correct for issue #145
Mark Thom [Sun, 9 Jun 2019 16:12:34 +0000 (12:12 -0400)]
correct bug in between.pl, re: #146
Mark Thom [Sat, 25 May 2019 04:16:07 +0000 (00:16 -0400)]
pass more numbers by reference
Mark Thom [Wed, 22 May 2019 23:48:34 +0000 (19:48 -0400)]
pass Number's by reference when possible
Mark Thom [Tue, 14 May 2019 03:37:03 +0000 (23:37 -0400)]
correct #68 in variable_names conformity tests
Mark Thom [Mon, 13 May 2019 22:11:27 +0000 (18:11 -0400)]
fix min/1, max/1
Mark Thom [Mon, 13 May 2019 02:21:29 +0000 (22:21 -0400)]
process float/1 and pi/0
Mark Thom [Mon, 13 May 2019 00:14:00 +0000 (20:14 -0400)]
revamp evaluable functors, add missing evaluable functors
Mark Thom [Fri, 10 May 2019 02:56:15 +0000 (22:56 -0400)]
print full list in erroneous variable_names
Mark Thom [Wed, 8 May 2019 23:58:05 +0000 (19:58 -0400)]
correct variable_names culprit
Mark Thom [Wed, 8 May 2019 13:45:13 +0000 (09:45 -0400)]
Merge pull request #138 from XVilka/unmut
Unmut
Anton Kochkov [Wed, 8 May 2019 06:09:44 +0000 (14:09 +0800)]
Add .gitignore
Anton Kochkov [Wed, 8 May 2019 06:09:33 +0000 (14:09 +0800)]
Remove unnecessary mutability
Mark Thom [Tue, 7 May 2019 02:45:32 +0000 (22:45 -0400)]
correct error reporting for variable_names write option
Mark Thom [Tue, 7 May 2019 02:14:38 +0000 (22:14 -0400)]
update version number, correct printer
Mark Thom [Mon, 6 May 2019 02:48:19 +0000 (22:48 -0400)]
quote solo characters wherever they lead atoms
Mark Thom [Sun, 5 May 2019 04:58:56 +0000 (00:58 -0400)]
add variable_names as a write option
Mark Thom [Wed, 1 May 2019 03:30:28 +0000 (21:30 -0600)]
improve matching on partial strings as lists
Mark Thom [Wed, 1 May 2019 02:56:18 +0000 (20:56 -0600)]
update README
Mark Thom [Wed, 1 May 2019 02:55:53 +0000 (20:55 -0600)]
add remaining atomic term processing builtins, rename (=@=)/2 to variant/2, address issue #133
Mark Thom [Tue, 30 Apr 2019 04:44:53 +0000 (22:44 -0600)]
respect ambiguity with ., add ... to indicate more answers
Mark Thom [Mon, 29 Apr 2019 04:23:34 +0000 (22:23 -0600)]
add unify_with_occurs_check/2
Mark Thom [Mon, 29 Apr 2019 03:09:56 +0000 (21:09 -0600)]
correct various bugs
Mark Thom [Sun, 28 Apr 2019 23:19:16 +0000 (17:19 -0600)]
fix odd response, toplevel issues
Mark Thom [Sun, 28 Apr 2019 20:48:12 +0000 (14:48 -0600)]
add subsumes_term/2
Mark Thom [Sun, 28 Apr 2019 20:36:38 +0000 (14:36 -0600)]
add number_chars/2
Mark Thom [Sun, 28 Apr 2019 05:39:19 +0000 (23:39 -0600)]
speed up unification
Mark Thom [Sun, 28 Apr 2019 03:51:48 +0000 (21:51 -0600)]
address issues #121 - #123
Mark Thom [Sat, 27 Apr 2019 06:40:00 +0000 (00:40 -0600)]
re: issue #120
Mark Thom [Fri, 26 Apr 2019 15:48:12 +0000 (09:48 -0600)]
printer: abbreviate lists with |
Mark Thom [Fri, 26 Apr 2019 04:27:23 +0000 (22:27 -0600)]
use ellipses to indicate infinite terms in printer
Mark Thom [Fri, 26 Apr 2019 02:11:34 +0000 (20:11 -0600)]
re: issue #118
Mark Thom [Thu, 25 Apr 2019 15:10:52 +0000 (09:10 -0600)]
address issues #114, #115
Mark Thom [Thu, 25 Apr 2019 02:37:31 +0000 (20:37 -0600)]
delay attributed variables goal, naively correct dif/2
Mark Thom [Wed, 24 Apr 2019 02:28:01 +0000 (20:28 -0600)]
update version number
Mark Thom [Wed, 24 Apr 2019 02:27:47 +0000 (20:27 -0600)]
address issues #111 and #108
Mark Thom [Tue, 23 Apr 2019 14:40:28 +0000 (08:40 -0600)]
update version number
Mark Thom [Tue, 23 Apr 2019 14:40:10 +0000 (08:40 -0600)]
move setup_call_cleanup/3 and call_with_inference_limit/3 to non_iso
Mark Thom [Tue, 23 Apr 2019 03:28:33 +0000 (21:28 -0600)]
various fixes
Mark Thom [Tue, 23 Apr 2019 01:49:04 +0000 (19:49 -0600)]
use binary_pow for (^)/2
Mark Thom [Tue, 23 Apr 2019 01:48:09 +0000 (19:48 -0600)]
use binary_pow for (^)/2
Mark Thom [Tue, 23 Apr 2019 00:54:32 +0000 (18:54 -0600)]
update version number
Mark Thom [Tue, 23 Apr 2019 00:54:03 +0000 (18:54 -0600)]
instantiate variables in numerical comparisons
Mark Thom [Sun, 21 Apr 2019 20:58:00 +0000 (17:58 -0300)]
update prolog_parser, address conformity tests #3, #5, #11
Mark Thom [Sat, 20 Apr 2019 23:13:19 +0000 (20:13 -0300)]
address issues #104, #105, #103
Mark Thom [Fri, 19 Apr 2019 02:32:50 +0000 (20:32 -0600)]
fix conformity testing #274
Mark Thom [Thu, 18 Apr 2019 03:31:00 +0000 (21:31 -0600)]
minor fixes
Mark Thom [Mon, 15 Apr 2019 05:15:59 +0000 (23:15 -0600)]
make return_from_clause macro respect verify_attributes
Mark Thom [Sun, 14 Apr 2019 15:45:04 +0000 (09:45 -0600)]
fix conformity tests #279 and #296
Mark Thom [Sun, 14 Apr 2019 00:43:04 +0000 (18:43 -0600)]
update
Mark Thom [Sun, 14 Apr 2019 00:40:52 +0000 (18:40 -0600)]
correct prolog_parser path
Mark Thom [Sun, 14 Apr 2019 00:40:17 +0000 (18:40 -0600)]
read from streams.
Mark Thom [Sun, 7 Apr 2019 18:56:31 +0000 (12:56 -0600)]
update prolog_parser, refine bracketing tests.
Mark Thom [Sun, 7 Apr 2019 18:14:20 +0000 (12:14 -0600)]
correct conformity test #234