]>
Repositorios git - scryer-prolog.git/log
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
Mark Thom [Mon, 25 Jun 2018 05:33:04 +0000 (23:33 -0600)]
get rid of LocalMachineCodeIndex
Mark Thom [Mon, 25 Jun 2018 05:32:50 +0000 (23:32 -0600)]
get rid of LocalMachineCodeIndex
Mark Thom [Tue, 19 Jun 2018 03:28:22 +0000 (21:28 -0600)]
prepare for changes to relocation scheme
Mark Thom [Sun, 17 Jun 2018 05:36:22 +0000 (23:36 -0600)]
prepare for updating the code_dir with each new predicate
Mark Thom [Tue, 29 May 2018 02:30:13 +0000 (20:30 -0600)]
reorder print_constant comments for unsupported escape characters
Mark Thom [Tue, 29 May 2018 02:19:52 +0000 (20:19 -0600)]
print chars somewhat appropriately.
Mark Thom [Tue, 29 May 2018 02:07:34 +0000 (20:07 -0600)]
hacky workaround
Mark Thom [Mon, 21 May 2018 22:20:08 +0000 (16:20 -0600)]
get rid of spurious warning, add type error for skip_max_list
Mark Thom [Sun, 20 May 2018 22:26:52 +0000 (16:26 -0600)]
fix offsetting of heap in existence errors
Mark Thom [Sun, 20 May 2018 18:51:21 +0000 (12:51 -0600)]
add instantiation error to skip_max_list
Mark Thom [Thu, 17 May 2018 19:14:38 +0000 (13:14 -0600)]
correct for use in earlier releases of rust.
Mark Thom [Thu, 17 May 2018 02:34:53 +0000 (20:34 -0600)]
print certain atoms in single quotes.
Mark Thom [Thu, 17 May 2018 02:17:00 +0000 (20:17 -0600)]
use lexer macros.
Mark Thom [Wed, 16 May 2018 04:51:34 +0000 (22:51 -0600)]
remove no longer present items from predicate list
Mark Thom [Wed, 16 May 2018 04:48:37 +0000 (22:48 -0600)]
Merge branch 'develop'
Mark Thom [Wed, 16 May 2018 04:47:36 +0000 (22:47 -0600)]
major refactor
Mark Thom [Tue, 15 May 2018 06:23:42 +0000 (00:23 -0600)]
move SGC and call inference instructions over to SystemClauseType
Mark Thom [Mon, 14 May 2018 22:43:49 +0000 (16:43 -0600)]
remove IsClause
Mark Thom [Sun, 13 May 2018 23:02:33 +0000 (17:02 -0600)]
add (=..)/2, arg/3
Mark Thom [Sun, 13 May 2018 20:55:44 +0000 (14:55 -0600)]
switch to machine implemented arg
Mark Thom [Sun, 13 May 2018 20:10:48 +0000 (14:10 -0600)]
parse the list functor
Mark Thom [Sun, 13 May 2018 00:23:57 +0000 (18:23 -0600)]
parse negative numbers properly, handle length errors and failures properly.
Mark Thom [Sat, 12 May 2018 21:51:20 +0000 (15:51 -0600)]
correct faulty bind (two tests now fail: conjunctive_queries and lists)
Mark Thom [Sat, 12 May 2018 07:21:31 +0000 (01:21 -0600)]
add arg
Mark Thom [Sat, 12 May 2018 06:30:34 +0000 (00:30 -0600)]
add support for callable if-then and disjunct
Mark Thom [Fri, 11 May 2018 05:08:56 +0000 (23:08 -0600)]
throw exception when call-ing a system instruction.
Mark Thom [Fri, 11 May 2018 04:40:01 +0000 (22:40 -0600)]
port remaining builtins to SystemClauseType
Mark Thom [Fri, 11 May 2018 04:24:15 +0000 (22:24 -0600)]
make system calls exempt from call policy.
Mark Thom [Fri, 11 May 2018 01:47:53 +0000 (19:47 -0600)]
add more tests that pass.
Mark Thom [Thu, 10 May 2018 07:43:36 +0000 (01:43 -0600)]
add catch/throw support, make exceptions and arithmetic tests pass.
Mark Thom [Thu, 10 May 2018 04:58:23 +0000 (22:58 -0600)]
eliminate need for embedded, handwritten WAM code.
Mark Thom [Wed, 9 May 2018 04:38:49 +0000 (22:38 -0600)]
shift to builtins
Mark Thom [Tue, 8 May 2018 04:29:02 +0000 (22:29 -0600)]
add system call preliminaries
Mark Thom [Tue, 8 May 2018 04:27:58 +0000 (22:27 -0600)]
system calls preliminary