rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 99e1a5f117 Removed $raw_input_read_char notoria 2020-04-18 13:54:18 +02:00
  • b35b49f7b3 get_single_char reads Tab as \t notoria 2020-04-18 13:33:42 +02:00
  • 5d064b18e6 get_single_char reads Enter as \n notoria 2020-04-18 13:30:52 +02:00
  • 11ea92288d Moved get_single_char from builtins.pl to charsio.pl notoria 2020-04-18 12:52:49 +02:00
  • 1ea6ae9fd9 Added predicate for reading a single character notoria 2020-04-18 11:49:28 +02:00
  • 57d739673a index Constant::Usize (#355) Mark Thom 2020-04-15 14:11:45 -06:00
  • 4d8f76e922 quote single dots only Mark Thom 2020-04-15 13:45:35 -06:00
  • fb41d4ab0f Merge pull request #354 from triska/master Mark Thom 2020-04-15 13:19:54 -03:00
  • 2c96420bc4 ADDED: list_to_set/2, using the first occurrence of each element Markus Triska 2020-04-15 17:49:01 +02:00
  • 023ee688d3 allow characters as atoms in Machine::use_module and Machine::use_qualified_module Mark Thom 2020-04-15 10:32:23 -06:00
  • 5f8f0d8573 remove underscores in printed variables produced by write_term_to_chars (#340) Mark Thom 2020-04-15 10:27:20 -06:00
  • f56e0a6586 don't count the terminator in PStrIter len Mark Thom 2020-04-15 10:07:44 -06:00
  • 8d95eb57fa quote dot when quoted(true) (#349) Mark Thom 2020-04-15 00:54:32 -06:00
  • a9a5e79e85 privilege new op declarations over old ones (#346) Mark Thom 2020-04-15 00:37:00 -06:00
  • 2b720b8d0b interrupt running queries and return to toplevel (#323) Mark Thom 2020-04-15 00:08:35 -06:00
  • 93a0ab7f0a write [a,b,c] correctly with write_canonical (#349) Mark Thom 2020-04-14 23:25:15 -06:00
  • 18dd55d1f4 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2020-04-14 23:15:01 -06:00
  • c9074d8d96 properly iterate through UTF-8 strings (#350) Mark Thom 2020-04-14 23:14:47 -06:00
  • f6c995157e clean up print_list_like Mark Thom 2020-04-14 14:26:30 -06:00
  • 2ac6596ba9 Merge pull request #348 from triska/master Mark Thom 2020-04-14 14:29:40 -03:00
  • 2d1f57e839 update the toplevel description, incorporating the latest changes Markus Triska 2020-04-14 19:24:13 +02:00
  • a059a9fbdc print lists as strings when possible (#295) Mark Thom 2020-04-14 13:28:51 -06:00
  • 7799ed36f0 provide better variable names in write_term_to_chars/3 (#340) Mark Thom 2020-04-14 10:39:10 -06:00
  • db5ed345bc improve writeX performance (#290) Mark Thom 2020-04-14 10:25:05 -06:00
  • 082c6a9e64 copy operator exports to impromptu modules (#307) Mark Thom 2020-04-14 01:03:49 -06:00
  • b74a4d5225 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2020-04-14 00:40:57 -06:00
  • 16a572c250 change from xsi to iso in bimetatrans, correct atomic/1 failure (#343) Mark Thom 2020-04-14 00:40:51 -06:00
  • 6a8a2d6f56 Merge pull request #345 from triska/master Mark Thom 2020-04-13 19:24:52 -03:00
  • 237c855f10 ADDED: group_pairs_by_key/2 Markus Triska 2020-04-14 00:10:33 +02:00
  • 15d18484e3 version bump Mark Thom 2020-04-13 11:17:50 -06:00
  • 378e9b5539 Merge pull request #327 from srenatus/sr/pass-argv-as-partial-strings Mark Thom 2020-04-13 11:17:08 -03:00
  • 7a135bd87c Merge pull request #342 from srenatus/sr/fix-cargo-install Mark Thom 2020-04-13 11:16:55 -03:00
  • 9e907e36e2 main: fix version reporting without git Stephan Renatus 2020-04-13 15:50:31 +02:00
  • 9ac71f304d Merge pull request #341 from triska/master Mark Thom 2020-04-13 09:13:17 -03:00
  • ab9b604d02 the workaround is no longer necessary, since #336 is now corrected Markus Triska 2020-04-13 11:32:06 +02:00
  • 155645307a use partial strings for passing argv to toplevel.pl Stephan Renatus 2020-04-06 17:35:21 +02:00
  • 4ca7ac4851 use prolog_parser 0.8.50 (#336) Mark Thom 2020-04-13 00:32:41 -06:00
  • 02eb24cd57 correct partial string copying by resetting threshold to redirected partial string stubs to 0 Mark Thom 2020-04-12 23:33:07 -06:00
  • 787fbe1bb6 use partial_string/1 in place of the removed string/1 in bimetatrans_ruleml.pl Mark Thom 2020-04-12 22:27:53 -06:00
  • 7678858bab update Cargo.lock Mark Thom 2020-04-12 22:01:59 -06:00
  • bf7a28f07c bump version to 0.8.119 Mark Thom 2020-04-12 21:59:22 -06:00
  • 9e54b1406c Merge pull request #338 from triska/master v0.8.119 Mark Thom 2020-04-12 20:35:48 -03:00
  • f52c9772a7 also include a newline in portray_clause/1 Markus Triska 2020-04-13 01:21:32 +02:00
  • ea5203d8c3 Merge pull request #337 from triska/master Mark Thom 2020-04-12 20:10:21 -03:00
  • 208927544d ADDED: provide a rudimentary version of portray_clause/1 Markus Triska 2020-04-13 00:12:28 +02:00
  • 0fad2f9953 make write_term_to_chars work with variable terms (#335) Mark Thom 2020-04-12 18:10:45 -06:00
  • d3a9392421 provide read_term_from_chars/2 (#334) Mark Thom 2020-04-12 17:26:11 -06:00
  • 7621155a89 change wording of QueryCannotBePostedAsFact to QueryCannotBeDefinedAsFact, remove old commented code in read.rs Mark Thom 2020-04-12 16:01:53 -06:00
  • 4ddc4ebf46 Merge pull request #333 from triska/master Mark Thom 2020-04-12 16:00:01 -03:00
  • 786f0b5ca2 incorporate the latest improvements in the description of partial strings Markus Triska 2020-04-12 20:44:12 +02:00
  • b4ff429bfa Merge pull request #332 from triska/master Mark Thom 2020-04-12 15:00:20 -03:00
  • c9f1a95343 ENHANCED: ~w now supports compound terms, and ~q is now also available Markus Triska 2020-04-12 19:54:52 +02:00
  • f2cf0ec459 move write_term_to_chars/3 to src/prolog/lib/charsio.pl Mark Thom 2020-04-12 14:42:39 -06:00
  • 0380d70a46 add write_term_to_chars/3 to iso_ext.pl (#288) Mark Thom 2020-04-12 14:29:28 -06:00
  • 28099b9812 correct misleading error for modules (#300) Mark Thom 2020-04-12 12:51:59 -06:00
  • 2ce4f602c0 be more judicious with at_cdr in print_string (#295) Mark Thom 2020-04-12 12:18:15 -06:00
  • 5e81fb4754 throw exception when attempting to post query as goal (#329) Mark Thom 2020-04-12 12:07:41 -06:00
  • 97d8d07947 recognize empty lists as partial strings (#328) Mark Thom 2020-04-11 23:08:15 -06:00
  • 4f0adad78e remove string/1, use a more general test for the partial_string/1 type test (#328) Mark Thom 2020-04-11 22:47:52 -06:00
  • 0499005db5 throw error when trying to use partial lists as DCG terminal-sequence (#286) Mark Thom 2020-04-11 22:40:29 -06:00
  • aedffb3cfe remove unnecessary use of partial_string in bimetatrans example Mark Thom 2020-04-11 22:02:17 -06:00
  • fff96e69db Merge pull request #310 from triska/bimeta_example Mark Thom 2020-04-11 22:03:10 -03:00
  • abc99c9dd8 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2020-04-11 21:59:25 -06:00
  • 6e4b76a3b4 compile special instructions for partial strings when recognized Mark Thom 2020-04-11 21:53:28 -06:00
  • 92d8642133 do not accept [X|Xs] patterns as DCG non-terminals (#286) Mark Thom 2020-04-11 21:52:45 -06:00
  • 184124586b Merge pull request #320 from triska/master Mark Thom 2020-04-09 12:26:31 -03:00
  • 4d32b6976a add library(freeze) to make zcompare/3 work Markus Triska 2020-04-08 21:37:35 +02:00
  • 45a99e576d Merge pull request #318 from triska/master Mark Thom 2020-04-08 16:59:13 -03:00
  • fac6d54986 extend description of strings and partial strings Markus Triska 2020-04-08 20:38:47 +02:00
  • 036c35729c Merge pull request #316 from triska/master Mark Thom 2020-04-08 13:18:42 -03:00
  • e442fddc66 tuples_in/2 now works Markus Triska 2020-04-08 17:49:06 +02:00
  • 794ceac440 clpz_monotonic/0 --> monotonic/0 Markus Triska 2020-04-06 23:05:57 +02:00
  • a3c3afba48 fix list index offset bug (#314) Mark Thom 2020-04-06 16:15:36 -06:00
  • 6299d41cda mark clp(X) item as completed, restore clp(Z) library description Mark Thom 2020-04-05 21:26:27 -03:00
  • 2e5ce0249e Merge pull request #312 from triska/master Mark Thom 2020-04-05 21:14:11 -03:00
  • 8b1df2e9ca ADDED: CLP(ℤ), Constraint Logic Programming over Integers Markus Triska 2020-04-04 23:35:39 +02:00
  • 560298655b consolidate Cargo.lock Mark Thom 2020-04-05 20:34:49 -06:00
  • 4086df27b2 merge with master Mark Thom 2020-04-05 20:33:45 -06:00
  • d76ae413c4 use fixnums in place of bignums where possible Mark Thom 2020-04-05 20:32:16 -06:00
  • c8855f97e8 allocate empty partial strings Mark Thom 2020-04-05 02:55:30 -06:00
  • bbf1aa1668 use copy_term/3 to print residual goals (#254) Mark Thom 2020-04-04 18:44:16 -06:00
  • 141f3bcec3 harmonize partial strings with complete strings (#276), make Addr a copyable type Mark Thom 2020-04-03 10:22:46 -06:00
  • 8f11fd7c62 Merge pull request #306 from srenatus/sr/version-argument Mark Thom 2020-04-03 00:35:51 -03:00
  • 11a616917a introduce and use nonterminal list//1 Markus Triska 2020-03-31 01:28:16 +02:00
  • a89f03f27d embed literal lists directly in DCGs Markus Triska 2020-03-31 01:24:15 +02:00
  • 3faf36440c naming: partial_list_ws//1 --> list_ws//1 Markus Triska 2020-03-31 01:23:00 +02:00
  • 9f960c25a5 add bimetatrans_ruleml.pl to examples Mark Thom 2020-03-30 20:00:08 -06:00
  • 45d4f46024 main: skip args[0] Stephan Renatus 2020-03-28 09:07:42 +01:00
  • 896f2aeb74 main: add -v/--version flag Stephan Renatus 2020-03-27 19:59:48 +01:00
  • 7de39611f3 Merge pull request #305 from srenatus/sr/typo Mark Thom 2020-03-27 14:35:17 -03:00
  • 7e6be23287 examples/least_time.pl: fix typo Stephan Renatus 2020-03-27 18:29:17 +01:00
  • cac76d4739 Merge branch 'master' into develop Mark Thom 2020-03-26 22:01:25 -06:00
  • 194e5dc94e initial commit for merge Mark Thom 2020-03-26 22:01:23 -06:00
  • f7629362d7 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2020-03-19 20:42:37 -06:00
  • ea0c396114 add least_time example Mark Thom 2020-03-19 20:42:11 -06:00
  • 057e2d8056 provide contextual information in the return value of try_in_situ_result Mark Thom 2020-03-19 20:41:58 -06:00
  • 54dce9b60e Merge pull request #294 from triska/format Mark Thom 2020-03-19 20:00:40 -03:00
  • 487fe21e25 #278 Mark Thom 2020-03-19 17:49:17 -06:00
  • f09a3142a6 ENHANCED: format_//2 now supports ~a, ~d, ~Nd, ~D, ~ND, ~Nn, ~i and ~* Markus Triska 2020-03-19 21:51:53 +01:00
  • 121c8d8a48 Merge pull request #293 from triska/documentation Mark Thom 2020-03-17 13:55:05 -03:00