]> Repositorios git - scryer-prolog.git/log
scryer-prolog.git
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

7 years agofix more conformity errors
Mark Thom [Sat, 6 Apr 2019 23:44:04 +0000 (17:44 -0600)]
fix more conformity errors

7 years agocorrect for issues #88, #89, #90, conformity test #208.
Mark Thom [Sat, 6 Apr 2019 15:46:42 +0000 (09:46 -0600)]
correct for issues #88, #89, #90, conformity test #208.

7 years agocorrect prolog_parser package
Mark Thom [Sat, 6 Apr 2019 06:15:07 +0000 (00:15 -0600)]
correct prolog_parser package

7 years agocorrect bad atom_length/2, atom_chars/2 error reporting
Mark Thom [Sat, 6 Apr 2019 06:13:52 +0000 (00:13 -0600)]
correct bad atom_length/2, atom_chars/2 error reporting

7 years agoupdate version number
Mark Thom [Sat, 6 Apr 2019 05:04:40 +0000 (23:04 -0600)]
update version number

7 years agoadd atom_length/2, atom_chars/2, atom_codes/2
Mark Thom [Sat, 6 Apr 2019 05:00:53 +0000 (23:00 -0600)]
add atom_length/2, atom_chars/2, atom_codes/2

7 years agoadd current_op/3
Mark Thom [Sat, 6 Apr 2019 03:25:49 +0000 (21:25 -0600)]
add current_op/3

7 years agoremove $reify_switch
Mark Thom [Fri, 5 Apr 2019 15:04:05 +0000 (09:04 -0600)]
remove $reify_switch

7 years agoupdate version number
Mark Thom [Fri, 5 Apr 2019 04:52:06 +0000 (22:52 -0600)]
update version number

7 years agofix conformity errors
Mark Thom [Fri, 5 Apr 2019 04:51:00 +0000 (22:51 -0600)]
fix conformity errors

7 years agomove forall/2 to non_iso, correct test cases.
Mark Thom [Thu, 4 Apr 2019 00:13:05 +0000 (18:13 -0600)]
move forall/2 to non_iso, correct test cases.

7 years agomove forall/2 to non_iso, correct test cases.
Mark Thom [Thu, 4 Apr 2019 00:12:36 +0000 (18:12 -0600)]
move forall/2 to non_iso, correct test cases.

7 years agoMerge pull request #83 from pmoura/add_forall_2_predicate
Mark Thom [Wed, 3 Apr 2019 13:13:26 +0000 (10:13 -0300)]
Merge pull request #83 from pmoura/add_forall_2_predicate

add de facto standard forall/2 predicate as a built-in predicate

7 years agoupdate parser
Mark Thom [Wed, 3 Apr 2019 15:26:37 +0000 (09:26 -0600)]
update parser

7 years agoupdate parser to correct additional conformity errors, re: #52
Mark Thom [Wed, 3 Apr 2019 15:06:43 +0000 (09:06 -0600)]
update parser to correct additional conformity errors, re: #52

7 years agoadd de facto standard forall/2 predicate as a built-in predicate
Paulo Moura [Wed, 3 Apr 2019 10:58:29 +0000 (11:58 +0100)]
add de facto standard forall/2 predicate as a built-in predicate

7 years agopass more conformity tests
Mark Thom [Tue, 2 Apr 2019 05:08:03 +0000 (23:08 -0600)]
pass more conformity tests

7 years agoMerge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom [Tue, 2 Apr 2019 04:05:45 +0000 (22:05 -0600)]
Merge branch 'master' of https://github.com/mthom/rusty-wam

7 years agore: #80, #52
Mark Thom [Tue, 2 Apr 2019 04:05:30 +0000 (22:05 -0600)]
re: #80, #52