]>
Repositorios git - scryer-prolog.git/log
Mark Thom [Thu, 27 Sep 2018 01:33:40 +0000 (19:33 -0600)]
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom [Thu, 27 Sep 2018 01:33:27 +0000 (19:33 -0600)]
move term_variables to builtins
Mark Thom [Tue, 25 Sep 2018 12:50:19 +0000 (09:50 -0300)]
add tidy_pstr_trail to neck_cut
Mark Thom [Tue, 25 Sep 2018 05:33:47 +0000 (23:33 -0600)]
add term variables
Mark Thom [Tue, 25 Sep 2018 04:47:01 +0000 (22:47 -0600)]
add more tests
Mark Thom [Tue, 25 Sep 2018 04:39:15 +0000 (22:39 -0600)]
add more tests
Mark Thom [Tue, 25 Sep 2018 04:24:23 +0000 (22:24 -0600)]
enable backtracking on partial strings
Mark Thom [Tue, 25 Sep 2018 01:53:51 +0000 (19:53 -0600)]
match on partial strings through get_list
Mark Thom [Mon, 24 Sep 2018 12:51:09 +0000 (09:51 -0300)]
partial strings are still a work in progress
Mark Thom [Sat, 22 Sep 2018 23:45:52 +0000 (17:45 -0600)]
correct numbervars
Mark Thom [Sat, 22 Sep 2018 23:06:43 +0000 (17:06 -0600)]
Merge branch 'develop'
Mark Thom [Sat, 22 Sep 2018 23:05:19 +0000 (17:05 -0600)]
add term_expansion basics
Mark Thom [Sat, 22 Sep 2018 22:25:32 +0000 (16:25 -0600)]
term_expansion beginnings
Mark Thom [Fri, 21 Sep 2018 13:29:07 +0000 (10:29 -0300)]
tighten up numbervars
Mark Thom [Wed, 19 Sep 2018 04:44:03 +0000 (22:44 -0600)]
incorporate term_expansion phase in compilation
Mark Thom [Wed, 19 Sep 2018 02:58:42 +0000 (20:58 -0600)]
stop treating copier as trait object
Mark Thom [Tue, 18 Sep 2018 20:20:34 +0000 (17:20 -0300)]
correct and load numbervars
Mark Thom [Tue, 18 Sep 2018 03:16:15 +0000 (21:16 -0600)]
restore parse_term to toplevel
Mark Thom [Tue, 18 Sep 2018 02:24:58 +0000 (20:24 -0600)]
correct ordinary input
Mark Thom [Sun, 16 Sep 2018 20:21:50 +0000 (14:21 -0600)]
correct conformity error
Mark Thom [Sun, 16 Sep 2018 20:11:21 +0000 (14:11 -0600)]
correct conformity errors
Mark Thom [Sun, 16 Sep 2018 16:57:14 +0000 (10:57 -0600)]
correct new copier bug
Mark Thom [Sun, 16 Sep 2018 08:32:29 +0000 (02:32 -0600)]
correct copier.
Mark Thom [Sun, 16 Sep 2018 07:37:42 +0000 (01:37 -0600)]
fix copier
Mark Thom [Fri, 14 Sep 2018 06:46:02 +0000 (00:46 -0600)]
correct handling of .
Mark Thom [Fri, 14 Sep 2018 01:46:02 +0000 (19:46 -0600)]
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom [Fri, 14 Sep 2018 01:44:50 +0000 (19:44 -0600)]
streamline inputs.
Mark Thom [Thu, 13 Sep 2018 06:46:41 +0000 (00:46 -0600)]
provisional #4
Mark Thom [Thu, 13 Sep 2018 06:06:54 +0000 (00:06 -0600)]
provisional #3
Mark Thom [Thu, 13 Sep 2018 05:31:29 +0000 (23:31 -0600)]
provisional changes #2
Mark Thom [Thu, 13 Sep 2018 02:46:15 +0000 (20:46 -0600)]
provisional changes to module insertion
Mark Thom [Tue, 11 Sep 2018 13:58:44 +0000 (10:58 -0300)]
update version number for push to crates
Mark Thom [Tue, 11 Sep 2018 02:51:34 +0000 (20:51 -0600)]
move compile_listing body to dedicated function
Mark Thom [Mon, 10 Sep 2018 06:18:17 +0000 (00:18 -0600)]
make use of read_term in the repl
Mark Thom [Sun, 9 Sep 2018 01:46:34 +0000 (19:46 -0600)]
read modifications
Mark Thom [Sat, 8 Sep 2018 08:31:33 +0000 (02:31 -0600)]
transition to MachineCodeIndices internally
Mark Thom [Sat, 8 Sep 2018 06:40:40 +0000 (00:40 -0600)]
make partial_string callable.
Mark Thom [Thu, 6 Sep 2018 22:34:46 +0000 (16:34 -0600)]
Merge branch 'master' of http://github.com/mthom/rusty-wam
Mark Thom [Thu, 6 Sep 2018 22:34:27 +0000 (16:34 -0600)]
add permission error for attempts at redefining builtins, re: #50
Mark Thom [Thu, 6 Sep 2018 12:32:22 +0000 (09:32 -0300)]
be more efficient in (,)/3 clause, correct (;)/3
Mark Thom [Thu, 6 Sep 2018 12:16:44 +0000 (09:16 -0300)]
cut properly in first (,)/3 clause
Mark Thom [Thu, 6 Sep 2018 00:35:06 +0000 (18:35 -0600)]
correct comma implementation
Mark Thom [Wed, 5 Sep 2018 03:20:45 +0000 (21:20 -0600)]
add structural tests for partial strings, rename ast.rs
Mark Thom [Wed, 5 Sep 2018 00:52:45 +0000 (18:52 -0600)]
throw the correct error if the final reduce does not work, re: #49
Mark Thom [Tue, 4 Sep 2018 04:05:59 +0000 (22:05 -0600)]
update README
Mark Thom [Tue, 4 Sep 2018 04:02:15 +0000 (22:02 -0600)]
edit README, ast, remove redundant modules
Mark Thom [Tue, 4 Sep 2018 03:58:07 +0000 (21:58 -0600)]
farm parser out to a crate, remove it as a git submodule.
Mark Thom [Mon, 3 Sep 2018 23:21:28 +0000 (17:21 -0600)]
fixes to quoted
Mark Thom [Mon, 3 Sep 2018 21:14:02 +0000 (15:14 -0600)]
correct print_var_eq bad ending check
Mark Thom [Mon, 3 Sep 2018 19:57:32 +0000 (13:57 -0600)]
properly handle character controls from ASCII to UTF-8, re: #48
Mark Thom [Mon, 3 Sep 2018 19:50:49 +0000 (13:50 -0600)]
properly handle character controls from ASCII to UTF-8, re: #48
Mark Thom [Mon, 3 Sep 2018 06:20:01 +0000 (00:20 -0600)]
do not unify partial strings unless they coincide in memory
Mark Thom [Mon, 3 Sep 2018 06:06:01 +0000 (00:06 -0600)]
distinguish eq from structural_eq on strings
Mark Thom [Mon, 3 Sep 2018 05:32:51 +0000 (23:32 -0600)]
finalize support for partial strings
Mark Thom [Sun, 2 Sep 2018 05:04:13 +0000 (23:04 -0600)]
add info to README, prepare for partial strings
Mark Thom [Sat, 1 Sep 2018 19:48:28 +0000 (13:48 -0600)]
Merge branch 'master' of http://github.com/mthom/rusty-wam
Mark Thom [Sat, 1 Sep 2018 19:48:04 +0000 (13:48 -0600)]
add (^) as an evaluable factor, re: #39
Mark Thom [Fri, 31 Aug 2018 18:37:10 +0000 (15:37 -0300)]
correct README
Mark Thom [Fri, 31 Aug 2018 07:15:34 +0000 (01:15 -0600)]
allow continuable strings, re: #48
Mark Thom [Fri, 31 Aug 2018 05:51:15 +0000 (23:51 -0600)]
correct get_single_quoted_item, re: #48
Mark Thom [Thu, 30 Aug 2018 06:35:42 +0000 (00:35 -0600)]
add slightly more descriptive syntax errors
Mark Thom [Thu, 30 Aug 2018 06:04:19 +0000 (00:04 -0600)]
correct printing of lists when double_quotes is set to atom
Mark Thom [Thu, 30 Aug 2018 05:21:31 +0000 (23:21 -0600)]
read predicate reads piecemeal data
Mark Thom [Thu, 30 Aug 2018 03:20:56 +0000 (21:20 -0600)]
split error classification
Mark Thom [Thu, 30 Aug 2018 02:14:23 +0000 (20:14 -0600)]
chars are atoms, trailing whitespace is acceptable.
Mark Thom [Wed, 29 Aug 2018 06:16:12 +0000 (00:16 -0600)]
correct README
Mark Thom [Wed, 29 Aug 2018 06:10:09 +0000 (00:10 -0600)]
correct README
Mark Thom [Wed, 29 Aug 2018 06:05:00 +0000 (00:05 -0600)]
add tests for string lists, structural equality on string lists.
Mark Thom [Tue, 28 Aug 2018 17:30:50 +0000 (14:30 -0300)]
use reference to match on SyntaxError, re: #45
Mark Thom [Mon, 27 Aug 2018 02:50:12 +0000 (20:50 -0600)]
unify matching strings with different cursors.
Mark Thom [Mon, 27 Aug 2018 02:34:43 +0000 (20:34 -0600)]
add clean errors for read, re: #45
Mark Thom [Sun, 26 Aug 2018 08:03:16 +0000 (02:03 -0600)]
modify structural_eq_test
Mark Thom [Sat, 25 Aug 2018 05:14:41 +0000 (23:14 -0600)]
equate chars with atoms consisting of chars
Mark Thom [Thu, 23 Aug 2018 07:24:26 +0000 (01:24 -0600)]
support strings as char lists in term comparisons
Mark Thom [Thu, 23 Aug 2018 00:24:49 +0000 (18:24 -0600)]
revert is_undefined back to ref match, re: #44
Mark Thom [Wed, 22 Aug 2018 06:26:48 +0000 (00:26 -0600)]
update to handle strings as lists.
Mark Thom [Tue, 21 Aug 2018 06:22:16 +0000 (00:22 -0600)]
add string table, StringList representation
Mark Thom [Tue, 21 Aug 2018 04:00:38 +0000 (22:00 -0600)]
add StringList internal datatype
Mark Thom [Sun, 19 Aug 2018 00:03:28 +0000 (18:03 -0600)]
add some prolog flags, tabled strings
Mark Thom [Mon, 13 Aug 2018 05:17:34 +0000 (23:17 -0600)]
get rid of dynamic lookup for
$call_with_default_policy.
Mark Thom [Mon, 13 Aug 2018 05:14:28 +0000 (23:14 -0600)]
get rid of dynamic lookup for
$call_with_default_policy.
Mark Thom [Fri, 10 Aug 2018 00:23:47 +0000 (18:23 -0600)]
print equations lexographically by variable name, re: #26
Mark Thom [Thu, 9 Aug 2018 06:31:41 +0000 (00:31 -0600)]
complete call_with_inference_limit/3
Mark Thom [Wed, 8 Aug 2018 06:47:48 +0000 (00:47 -0600)]
set CWILCallPolicy count field back to private
Mark Thom [Wed, 8 Aug 2018 06:42:57 +0000 (00:42 -0600)]
add call_with_inference_limit/3
Mark Thom [Sat, 4 Aug 2018 22:12:37 +0000 (16:12 -0600)]
restore setup_call_cleanup/3
Mark Thom [Sat, 4 Aug 2018 20:56:38 +0000 (14:56 -0600)]
fail on parse error invoked by read/1
Mark Thom [Tue, 31 Jul 2018 21:14:28 +0000 (15:14 -0600)]
add proceed to inlined instructions in tail position
Mark Thom [Mon, 30 Jul 2018 00:38:26 +0000 (18:38 -0600)]
realize full cheney in copier.rs
Mark Thom [Wed, 25 Jul 2018 23:15:36 +0000 (17:15 -0600)]
preliminary read support
Mark Thom [Wed, 25 Jul 2018 23:12:07 +0000 (17:12 -0600)]
preliminary read support
Mark Thom [Tue, 17 Jul 2018 02:12:50 +0000 (20:12 -0600)]
add numbered vars to writeq
Mark Thom [Tue, 17 Jul 2018 01:06:27 +0000 (19:06 -0600)]
move print_constant logic to heap_print.rs
Mark Thom [Sun, 15 Jul 2018 23:54:37 +0000 (17:54 -0600)]
add support for quoted atoms to writeq
Mark Thom [Thu, 12 Jul 2018 06:14:14 +0000 (00:14 -0600)]
update README
Mark Thom [Mon, 9 Jul 2018 01:49:15 +0000 (19:49 -0600)]
add tests for module resolution operator, README documentation.
Mark Thom [Sun, 8 Jul 2018 21:21:09 +0000 (15:21 -0600)]
finalize the module resolution operator.
Mark Thom [Thu, 5 Jul 2018 05:25:55 +0000 (23:25 -0600)]
include builtins implicitly in every module.
Mark Thom [Mon, 2 Jul 2018 00:14:45 +0000 (18:14 -0600)]
complete trimdown of listing compilation.
Mark Thom [Mon, 25 Jun 2018 06:21:33 +0000 (00:21 -0600)]
prepare module code
projects / scryer-prolog.git / log