]> Repositorios git - scryer-prolog.git/log
scryer-prolog.git
6 years agoprint errors with line numbers in GNU style
Mark Thom [Fri, 4 Oct 2019 21:32:26 +0000 (15:32 -0600)]
print errors with line numbers in GNU style

6 years agoperform singleton variable scans on top level terms only
Mark Thom [Fri, 4 Oct 2019 16:38:45 +0000 (10:38 -0600)]
perform singleton variable scans on top level terms only

6 years agomake attribute_goals a nonterminal
Mark Thom [Fri, 4 Oct 2019 05:29:18 +0000 (23:29 -0600)]
make attribute_goals a nonterminal

6 years agofix goal expansion in disjunctions, add warnings for singleton variables
Mark Thom [Fri, 4 Oct 2019 04:13:34 +0000 (22:13 -0600)]
fix goal expansion in disjunctions, add warnings for singleton variables

6 years agodon't add default index for dynamic predicates unless defined at toplevel
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

6 years agoupdate version
Mark Thom [Thu, 3 Oct 2019 04:13:31 +0000 (22:13 -0600)]
update version

6 years agoproperly handle undefined predicates declared dynamic
Mark Thom [Thu, 3 Oct 2019 04:01:32 +0000 (22:01 -0600)]
properly handle undefined predicates declared dynamic

6 years agoprint attributes of variables when attribute_goals/2 is not defined
Mark Thom [Wed, 2 Oct 2019 23:01:03 +0000 (17:01 -0600)]
print attributes of variables when attribute_goals/2 is not defined

6 years agocorrect handling of ! in phrase/{2,3}, get rid of extraneous choice points in put_att...
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}

6 years agoproperly expand goals in initialization directives
Mark Thom [Wed, 2 Oct 2019 21:09:34 +0000 (15:09 -0600)]
properly expand goals in initialization directives

6 years agoremove readline_compat_rs reference from README
Mark Thom [Wed, 2 Oct 2019 17:33:28 +0000 (11:33 -0600)]
remove readline_compat_rs reference from README

6 years agoexpand goals in initialization directives.
Mark Thom [Wed, 2 Oct 2019 05:25:17 +0000 (23:25 -0600)]
expand goals in initialization directives.

6 years agoeliminate extraneous choice point in $get_attr
Mark Thom [Wed, 2 Oct 2019 04:36:46 +0000 (22:36 -0600)]
eliminate extraneous choice point in $get_attr

6 years agoadd the initialization directive
Mark Thom [Tue, 1 Oct 2019 22:51:22 +0000 (16:51 -0600)]
add the initialization directive

6 years agolimit scope of raw mode on stdout to allow interrupts to work
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

6 years agoreturn to toplevel from a long running query after receiving Ctrl-C
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

6 years agofix improper consolidation of DCG variables
Mark Thom [Mon, 30 Sep 2019 18:21:53 +0000 (12:21 -0600)]
fix improper consolidation of DCG variables

6 years agoadd use_module/{1,2} as full fledged predicates
Mark Thom [Mon, 30 Sep 2019 16:26:29 +0000 (10:26 -0600)]
add use_module/{1,2} as full fledged predicates

6 years agosupport loading of modules from files specified at the command line
Mark Thom [Sun, 29 Sep 2019 16:16:27 +0000 (10:16 -0600)]
support loading of modules from files specified at the command line

6 years agodevour dangling whitespace before checking for EOF
Mark Thom [Sun, 29 Sep 2019 16:05:40 +0000 (10:05 -0600)]
devour dangling whitespace before checking for EOF

6 years agotarget out_dir in build script
Mark Thom [Fri, 27 Sep 2019 06:05:19 +0000 (00:05 -0600)]
target out_dir in build script

6 years agomake *.pl files in src/prolog/lib available from libraries.rs
Mark Thom [Fri, 27 Sep 2019 05:10:04 +0000 (23:10 -0600)]
make *.pl files in src/prolog/lib available from libraries.rs

6 years agomigrate to rustyline, add history support
Mark Thom [Thu, 26 Sep 2019 17:25:05 +0000 (11:25 -0600)]
migrate to rustyline, add history support

6 years agoMerge pull request #164 from triska/master
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.

6 years agoignore single line comments after end token read
Mark Thom [Thu, 26 Sep 2019 04:40:31 +0000 (22:40 -0600)]
ignore single line comments after end token read

6 years agoADDED: library(si) for safe type tests.
Markus Triska [Wed, 25 Sep 2019 21:17:50 +0000 (23:17 +0200)]
ADDED: library(si) for safe type tests.

6 years agoMerge pull request #151 from Atul9/cargo-fmt
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'

6 years agoFormat code using 'cargo fmt'
Atul Bhosale [Mon, 23 Sep 2019 12:35:37 +0000 (19:35 +0700)]
Format code using 'cargo fmt'

6 years agoreplace HashMap with IndexMap and HashSet with IndexSet
Mark Thom [Sun, 22 Sep 2019 23:31:25 +0000 (17:31 -0600)]
replace HashMap with IndexMap and HashSet with IndexSet

6 years agoadd wam_instructions/2 to render predicate instructions as lists of functors
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

6 years agoMerge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom [Wed, 18 Sep 2019 04:50:50 +0000 (22:50 -0600)]
Merge branch 'master' of https://github.com/mthom/rusty-wam

6 years agoprint line numbers to trace the location of parsing errors
Mark Thom [Wed, 18 Sep 2019 04:50:32 +0000 (22:50 -0600)]
print line numbers to trace the location of parsing errors

6 years agoMerge pull request #159 from XVilka/patch-1
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

6 years agoCreate Travis CI config
Anton Kochkov [Thu, 12 Sep 2019 07:46:40 +0000 (15:46 +0800)]
Create Travis CI config

6 years agoaddress issue #153
Mark Thom [Fri, 6 Sep 2019 04:43:50 +0000 (22:43 -0600)]
address issue #153

6 years agocheck for and load .scryerrc from the user's home directory
Mark Thom [Thu, 5 Sep 2019 05:30:48 +0000 (23:30 -0600)]
check for and load .scryerrc from the user's home directory

6 years agofix read module if readline is not present
Mark Thom [Tue, 3 Sep 2019 21:18:43 +0000 (15:18 -0600)]
fix read module if readline is not present

6 years agoslight formatting changes
Mark Thom [Tue, 3 Sep 2019 14:10:51 +0000 (10:10 -0400)]
slight formatting changes

6 years agoaddress issues #143, #150, #155
Mark Thom [Mon, 2 Sep 2019 20:53:31 +0000 (16:53 -0400)]
address issues #143, #150, #155

6 years agoadd fail predicate
Mark Thom [Fri, 21 Jun 2019 00:59:27 +0000 (20:59 -0400)]
add fail predicate

6 years agore: issue #144
Mark Thom [Sun, 16 Jun 2019 05:25:42 +0000 (01:25 -0400)]
re: issue #144

6 years agocorrect for issue #145
Mark Thom [Fri, 14 Jun 2019 13:00:43 +0000 (09:00 -0400)]
correct for issue #145

7 years agocorrect bug in between.pl, re: #146
Mark Thom [Sun, 9 Jun 2019 16:12:34 +0000 (12:12 -0400)]
correct bug in between.pl, re: #146

7 years agopass more numbers by reference
Mark Thom [Sat, 25 May 2019 04:16:07 +0000 (00:16 -0400)]
pass more numbers by reference

7 years agopass Number's by reference when possible
Mark Thom [Wed, 22 May 2019 23:48:34 +0000 (19:48 -0400)]
pass Number's by reference when possible

7 years agocorrect #68 in variable_names conformity tests
Mark Thom [Tue, 14 May 2019 03:37:03 +0000 (23:37 -0400)]
correct #68 in variable_names conformity tests

7 years agofix min/1, max/1
Mark Thom [Mon, 13 May 2019 22:11:27 +0000 (18:11 -0400)]
fix min/1, max/1

7 years agoprocess float/1 and pi/0
Mark Thom [Mon, 13 May 2019 02:21:29 +0000 (22:21 -0400)]
process float/1 and pi/0

7 years agorevamp evaluable functors, add missing evaluable functors
Mark Thom [Mon, 13 May 2019 00:14:00 +0000 (20:14 -0400)]
revamp evaluable functors, add missing evaluable functors

7 years agoprint full list in erroneous variable_names
Mark Thom [Fri, 10 May 2019 02:56:15 +0000 (22:56 -0400)]
print full list in erroneous variable_names

7 years agocorrect variable_names culprit
Mark Thom [Wed, 8 May 2019 23:58:05 +0000 (19:58 -0400)]
correct variable_names culprit

7 years agoMerge pull request #138 from XVilka/unmut
Mark Thom [Wed, 8 May 2019 13:45:13 +0000 (09:45 -0400)]
Merge pull request #138 from XVilka/unmut

Unmut

7 years agoAdd .gitignore
Anton Kochkov [Wed, 8 May 2019 06:09:44 +0000 (14:09 +0800)]
Add .gitignore

7 years agoRemove unnecessary mutability
Anton Kochkov [Wed, 8 May 2019 06:09:33 +0000 (14:09 +0800)]
Remove unnecessary mutability

7 years agocorrect error reporting for variable_names write option
Mark Thom [Tue, 7 May 2019 02:45:32 +0000 (22:45 -0400)]
correct error reporting for variable_names write option

7 years agoupdate version number, correct printer
Mark Thom [Tue, 7 May 2019 02:14:38 +0000 (22:14 -0400)]
update version number, correct printer

7 years agoquote solo characters wherever they lead atoms
Mark Thom [Mon, 6 May 2019 02:48:19 +0000 (22:48 -0400)]
quote solo characters wherever they lead atoms

7 years agoadd variable_names as a write option
Mark Thom [Sun, 5 May 2019 04:58:56 +0000 (00:58 -0400)]
add variable_names as a write option

7 years agoimprove matching on partial strings as lists
Mark Thom [Wed, 1 May 2019 03:30:28 +0000 (21:30 -0600)]
improve matching on partial strings as lists

7 years ago update README
Mark Thom [Wed, 1 May 2019 02:56:18 +0000 (20:56 -0600)]
 update README

7 years agoadd remaining atomic term processing builtins, rename (=@=)/2 to variant/2, address...
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

7 years agorespect ambiguity with ., add ... to indicate more answers
Mark Thom [Tue, 30 Apr 2019 04:44:53 +0000 (22:44 -0600)]
respect ambiguity with ., add ... to indicate more answers

7 years agoadd unify_with_occurs_check/2
Mark Thom [Mon, 29 Apr 2019 04:23:34 +0000 (22:23 -0600)]
add unify_with_occurs_check/2

7 years agocorrect various bugs
Mark Thom [Mon, 29 Apr 2019 03:09:56 +0000 (21:09 -0600)]
correct various bugs

7 years agofix odd response, toplevel issues
Mark Thom [Sun, 28 Apr 2019 23:19:16 +0000 (17:19 -0600)]
fix odd response, toplevel issues

7 years agoadd subsumes_term/2
Mark Thom [Sun, 28 Apr 2019 20:48:12 +0000 (14:48 -0600)]
add subsumes_term/2

7 years agoadd number_chars/2
Mark Thom [Sun, 28 Apr 2019 20:36:38 +0000 (14:36 -0600)]
add number_chars/2

7 years agospeed up unification
Mark Thom [Sun, 28 Apr 2019 05:39:19 +0000 (23:39 -0600)]
speed up unification

7 years agoaddress issues #121 - #123
Mark Thom [Sun, 28 Apr 2019 03:51:48 +0000 (21:51 -0600)]
address issues #121 - #123

7 years agore: issue #120
Mark Thom [Sat, 27 Apr 2019 06:40:00 +0000 (00:40 -0600)]
re: issue #120

7 years agoprinter: abbreviate lists with |
Mark Thom [Fri, 26 Apr 2019 15:48:12 +0000 (09:48 -0600)]
printer: abbreviate lists with |

7 years agouse ellipses to indicate infinite terms in printer
Mark Thom [Fri, 26 Apr 2019 04:27:23 +0000 (22:27 -0600)]
use ellipses to indicate infinite terms in printer

7 years agore: issue #118
Mark Thom [Fri, 26 Apr 2019 02:11:34 +0000 (20:11 -0600)]
re: issue #118

7 years agoaddress issues #114, #115
Mark Thom [Thu, 25 Apr 2019 15:10:52 +0000 (09:10 -0600)]
address issues #114, #115

7 years agodelay attributed variables goal, naively correct dif/2
Mark Thom [Thu, 25 Apr 2019 02:37:31 +0000 (20:37 -0600)]
delay attributed variables goal, naively correct dif/2

7 years agoupdate version number
Mark Thom [Wed, 24 Apr 2019 02:28:01 +0000 (20:28 -0600)]
update version number

7 years agoaddress issues #111 and #108
Mark Thom [Wed, 24 Apr 2019 02:27:47 +0000 (20:27 -0600)]
address issues #111 and #108

7 years agoupdate version number
Mark Thom [Tue, 23 Apr 2019 14:40:28 +0000 (08:40 -0600)]
update version number

7 years agomove setup_call_cleanup/3 and call_with_inference_limit/3 to non_iso
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

7 years agovarious fixes
Mark Thom [Tue, 23 Apr 2019 03:28:33 +0000 (21:28 -0600)]
various fixes

7 years agouse binary_pow for (^)/2
Mark Thom [Tue, 23 Apr 2019 01:49:04 +0000 (19:49 -0600)]
use binary_pow for (^)/2

7 years agouse binary_pow for (^)/2
Mark Thom [Tue, 23 Apr 2019 01:48:09 +0000 (19:48 -0600)]
use binary_pow for (^)/2

7 years agoupdate version number
Mark Thom [Tue, 23 Apr 2019 00:54:32 +0000 (18:54 -0600)]
update version number

7 years agoinstantiate variables in numerical comparisons
Mark Thom [Tue, 23 Apr 2019 00:54:03 +0000 (18:54 -0600)]
instantiate variables in numerical comparisons

7 years agoupdate prolog_parser, address conformity tests #3, #5, #11
Mark Thom [Sun, 21 Apr 2019 20:58:00 +0000 (17:58 -0300)]
update prolog_parser, address conformity tests #3, #5, #11

7 years agoaddress issues #104, #105, #103
Mark Thom [Sat, 20 Apr 2019 23:13:19 +0000 (20:13 -0300)]
address issues #104, #105, #103

7 years agofix conformity testing #274
Mark Thom [Fri, 19 Apr 2019 02:32:50 +0000 (20:32 -0600)]
fix conformity testing #274

7 years agominor fixes
Mark Thom [Thu, 18 Apr 2019 03:31:00 +0000 (21:31 -0600)]
minor fixes

7 years agomake return_from_clause macro respect verify_attributes
Mark Thom [Mon, 15 Apr 2019 05:15:59 +0000 (23:15 -0600)]
make return_from_clause macro respect verify_attributes

7 years agofix conformity tests #279 and #296
Mark Thom [Sun, 14 Apr 2019 15:45:04 +0000 (09:45 -0600)]
fix conformity tests #279 and #296

7 years agoupdate
Mark Thom [Sun, 14 Apr 2019 00:43:04 +0000 (18:43 -0600)]
update

7 years agocorrect prolog_parser path
Mark Thom [Sun, 14 Apr 2019 00:40:52 +0000 (18:40 -0600)]
correct prolog_parser path

7 years agoread from streams.
Mark Thom [Sun, 14 Apr 2019 00:40:17 +0000 (18:40 -0600)]
read from streams.

7 years agoupdate prolog_parser, refine bracketing tests.
Mark Thom [Sun, 7 Apr 2019 18:56:31 +0000 (12:56 -0600)]
update prolog_parser, refine bracketing tests.

7 years agocorrect conformity test #234
Mark Thom [Sun, 7 Apr 2019 18:14:20 +0000 (12:14 -0600)]
correct conformity test #234

7 years agore: conformity test #181
Mark Thom [Sun, 7 Apr 2019 17:49:21 +0000 (11:49 -0600)]
re: conformity test #181

7 years agore: conformity test #181
Mark Thom [Sun, 7 Apr 2019 17:44:56 +0000 (11:44 -0600)]
re: conformity test #181

7 years agoupdate README.md
Mark Thom [Sun, 7 Apr 2019 16:09:01 +0000 (10:09 -0600)]
update README.md

7 years agoresolve conformity test #138 (issue #52)
Mark Thom [Sun, 7 Apr 2019 16:07:17 +0000 (10:07 -0600)]
resolve conformity test #138 (issue #52)

7 years agoupdate README
Mark Thom [Sat, 6 Apr 2019 23:50:50 +0000 (17:50 -0600)]
update README