rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,279 Commits 2 Branches 18 Tags
ff5b870a9fd4e7d13cba887738b57bb1f1c339f4
Commit Graph
536 Commits
Author SHA1 Message Date
Mark Thom ff5b870a9f Merge pull request #417 from notoria/mediants 
Implemented predicate mediants/2 with Stern-Brocot tree
 2020-04-29 18:33:35 -03:00
Mark Thom 7e765fe726 correct answer substitution order, equating variables to themselves (#326) 2020-04-29 01:45:42 -06:00
Mark Thom a3bb288f01 check that lower bound on term expansion drain is below the len of the term expansion vector, queue (#416) 2020-04-28 19:22:20 -06:00
Mark Thom eefd36b50d do length check in PartialString::range_from (#412) 2020-04-28 17:20:14 -06:00
Mark Thom 36134c61b2 erase unnecessary stub from block of FileToChars 2020-04-28 01:40:59 -06:00
Mark Thom 77cf0fd87b don't append lists of attributes when binding attributed variables (#353) 2020-04-28 01:40:11 -06:00
Mark Thom fe395e3a8c publish bimetatrans_ruleml_tests, move both files to own directory 2020-04-26 20:32:16 -06:00
notoria 9b1272da51 Small patch for library pio 2020-04-26 14:54:20 +02:00
notoria c98e869564 Implemented the Debug trait for all data structures 2020-04-26 02:20:24 +02:00
notoria ad28d0025a No trimming of the buffer 2020-04-25 18:20:20 +02:00
notoria d6772c5ca5 Implemented phrase_from_file/2 and /2 2020-04-25 18:04:13 +02:00
notoria 4b50608642 Implementation of the predicate char_type for a subset 2020-04-23 16:09:06 +02:00
notoria e3a7f9eb7a Draft of an implementation of char_type 2020-04-22 12:57:18 +02:00
Mark Thom 443c4b6cd0 speed unification of pairs of partial strings 2020-04-20 11:37:32 -06:00
Mark Thom ee425bb7f0 change CPU_now to CpuNow 2020-04-20 10:37:00 -06:00
Mark Thom c9750fab2c Merge pull request #371 from notoria/sleep 
Added the sleep predicate
 2020-04-19 21:41:33 -03:00
Mark Thom b64d45a74e speed comparisons of partial strings 2020-04-19 20:58:53 -06:00
Mark Thom ba5a4c3945 use default machine policies in term expansions 2020-04-19 19:54:23 -06:00
Mark Thom 8ce377d033 update toplevel comments, add mutable stack to zipped acyclic iterators 2020-04-19 16:01:35 -06:00
notoria 5a063c541d Added the sleep predicate 2020-04-19 21:35:49 +02:00
Markus Triska 4693c23a49 ADDED: library(time), providing time/1 for benchmarking 
sleep/1 and predicates for reasoning about time stamps should also
be added to this library.
 2020-04-19 19:18:47 +02:00
Mark Thom 5d6ca7a88e throw '' whenever an interrupt is made (#365, #366) 2020-04-19 12:58:44 -06:00
Mark Thom 9daf290432 remove SCCCutPolicy panic, revise (;)/2 so that comma'ed cuts are handled properly (#361) 2020-04-18 20:10:53 -06:00
Mark Thom 2c8858ff2d use correct signs in fixnum remainders 2020-04-18 17:37:54 -06:00
Mark Thom 1d964ef921 add domain and type errors for compare/3 (#296) 2020-04-18 14:37:14 -06:00
notoria 3f578e24b5 Removed $raw_input_read_char 2020-04-18 14:16:46 -06:00
notoria fb5ee5e190 get_single_char reads Tab as \t 2020-04-18 14:16:46 -06:00
notoria 63e8378310 get_single_char reads Enter as \n 2020-04-18 14:16:46 -06:00
notoria d3a1f11dfe Added predicate for reading a single character 2020-04-18 14:16:46 -06:00
Mark Thom 1ad4ce9822 index Constant::Usize (#355) 2020-04-18 14:16:40 -06:00
Mark Thom 37f1f8ac14 allow characters as atoms in Machine::use_module and Machine::use_qualified_module 2020-04-18 14:16:40 -06:00
Mark Thom 6d7b14ceb5 don't count the terminator in PStrIter len 2020-04-18 14:16:40 -06:00
Mark Thom 38bb44664c interrupt running queries and return to toplevel (#323) 2020-04-18 14:16:40 -06:00
Mark Thom c9074d8d96 properly iterate through UTF-8 strings (#350) 2020-04-14 23:14:47 -06:00
Mark Thom 7799ed36f0 provide better variable names in write_term_to_chars/3 (#340) 2020-04-14 10:39:10 -06:00
Mark Thom 082c6a9e64 copy operator exports to impromptu modules (#307) 2020-04-14 01:03:49 -06:00
Mark Thom 16a572c250 change from xsi to iso in bimetatrans, correct atomic/1 failure (#343) 2020-04-14 00:40:51 -06:00
Mark Thom 378e9b5539 Merge pull request #327 from srenatus/sr/pass-argv-as-partial-strings 
use partial strings for passing argv to toplevel.pl
 2020-04-13 11:17:08 -03:00
Stephan Renatus 155645307a use partial strings for passing argv to toplevel.pl 
In run_top_level: rename variables, make them partial strings

The rename is mostly cosmetic: all of argv is passed, and if argv
contains flags, goals, etc, it's more than filenames.

Using partial strings instead of atom came from discussions about how to
pass goals in the CLI, and can thus be considered preliminary work for
that.

In toplevel.pl: convert partial string to atom before passing it to
`use_module`.

Signed-off-by: Stephan Renatus <srenatus@chef.io>
 2020-04-13 10:10:10 +02:00
Mark Thom 02eb24cd57 correct partial string copying by resetting threshold to redirected partial string stubs to 0 2020-04-12 23:33:07 -06:00
Mark Thom d3a9392421 provide read_term_from_chars/2 (#334) 2020-04-12 17:26:11 -06:00
Mark Thom 7621155a89 change wording of QueryCannotBePostedAsFact to QueryCannotBeDefinedAsFact, remove old commented code in read.rs 2020-04-12 16:01:53 -06:00
Mark Thom 0380d70a46 add write_term_to_chars/3 to iso_ext.pl (#288) 2020-04-12 14:29:28 -06:00
Mark Thom 28099b9812 correct misleading error for modules (#300) 2020-04-12 12:51:59 -06:00
Mark Thom 5e81fb4754 throw exception when attempting to post query as goal (#329) 2020-04-12 12:07:41 -06:00
Mark Thom 97d8d07947 recognize empty lists as partial strings (#328) 2020-04-11 23:08:15 -06:00
Mark Thom 4f0adad78e remove string/1, use a more general test for the partial_string/1 type test (#328) 2020-04-11 22:47:52 -06:00
Mark Thom 6e4b76a3b4 compile special instructions for partial strings when recognized 2020-04-11 21:53:28 -06:00
Mark Thom a3c3afba48 fix list index offset bug (#314) 2020-04-06 16:15:36 -06:00
Mark Thom d76ae413c4 use fixnums in place of bignums where possible 2020-04-05 20:32:16 -06:00