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

Commit Graph

  • de7a408903 Created the library random and moved some predicates from iso_ext notoria 2020-04-26 23:33:10 +02:00
  • 4b0f60fe71 Merge pull request #405 from triska/master Mark Thom 2020-04-26 17:20:58 -03:00
  • a167bcff5e add library(cont) to the list Markus Triska 2020-04-26 21:38:18 +02:00
  • fb812e6335 add more information about tabling Markus Triska 2020-04-26 21:37:24 +02:00
  • 3fd557c74a Merge pull request #402 from notoria/pio Mark Thom 2020-04-26 12:17:09 -03:00
  • 9b1272da51 Small patch for library pio notoria 2020-04-26 14:54:20 +02:00
  • ae2402f4a7 Merge pull request #399 from notoria/debug Mark Thom 2020-04-25 23:35:27 -03:00
  • c98e869564 Implemented the Debug trait for all data structures notoria 2020-04-26 02:18:45 +02:00
  • e1a019ec56 Merge pull request #398 from triska/master Mark Thom 2020-04-25 17:20:24 -03:00
  • 2d7fcbf23d use proper module name in bimetatrans_ruleml Mark Thom 2020-04-25 12:55:36 -06:00
  • b604177ca1 include library(pio) and library(charsio) in the description Markus Triska 2020-04-25 20:08:56 +02:00
  • f27597cab5 update toplevel interaction Markus Triska 2020-04-25 20:01:04 +02:00
  • 40619c8184 ENHANCED: Throw domain errors in char_type/2 for wrong types Markus Triska 2020-04-25 19:59:12 +02:00
  • b0a5df2838 use an anonymous variable Markus Triska 2020-04-25 19:59:38 +02:00
  • ae9232a2cb Merge pull request #396 from notoria/phrase_from_file Mark Thom 2020-04-25 14:17:24 -03:00
  • ad28d0025a No trimming of the buffer notoria 2020-04-25 18:20:20 +02:00
  • d6772c5ca5 Implemented phrase_from_file/2 and /2 notoria 2020-04-25 18:00:16 +02:00
  • a2400767ed Merge pull request #391 from notoria/msb_lsb2 Mark Thom 2020-04-25 12:58:03 -03:00
  • 1873b655a8 Implemented lsb/2 and msb/2 notoria 2020-04-24 22:47:24 +02:00
  • e27c2b59c8 Merge pull request #380 from notoria/char_type Mark Thom 2020-04-23 21:57:03 -03:00
  • 4b50608642 Implementation of the predicate char_type for a subset notoria 2020-04-22 20:44:10 +02:00
  • e3a7f9eb7a Draft of an implementation of char_type notoria 2020-04-22 00:46:54 +02:00
  • c130b3a92e Merge pull request #381 from triska/master Mark Thom 2020-04-21 21:16:40 -03:00
  • 20fb6d6669 ADDED: library(format) now provides a rudimentary version of listing/1 Markus Triska 2020-04-22 01:53:20 +02:00
  • caf20cd43d Merge pull request #377 from triska/master Mark Thom 2020-04-20 19:16:12 -03:00
  • 608d661355 portray_clause/1 now correctly tracks variable names (#376) Markus Triska 2020-04-20 22:53:15 +02:00
  • 31c868818b Merge pull request #375 from notoria/sleep Mark Thom 2020-04-20 11:52:25 -03:00
  • 443c4b6cd0 speed unification of pairs of partial strings Mark Thom 2020-04-20 11:37:32 -06:00
  • ee425bb7f0 change CPU_now to CpuNow Mark Thom 2020-04-20 10:37:00 -06:00
  • 9d1c026231 check for num in comparisons, bump num-rug-adapter to 0.1.3 Mark Thom 2020-04-20 10:35:30 -06:00
  • 6d7612ead6 Corrected the error being thrown by sleep/1 notoria 2020-04-20 16:34:56 +02:00
  • b3e31094ff Changed the error being thrown by sleep/1 notoria 2020-04-20 11:27:28 +02:00
  • c9750fab2c Merge pull request #371 from notoria/sleep Mark Thom 2020-04-19 21:41:33 -03:00
  • 5a1348e4d1 do casts between different arithmetic types for comparison and equality (#372) Mark Thom 2020-04-19 21:34:59 -06:00
  • b64d45a74e speed comparisons of partial strings Mark Thom 2020-04-19 20:58:53 -06:00
  • ba5a4c3945 use default machine policies in term expansions Mark Thom 2020-04-19 19:54:23 -06:00
  • 9ba37a932b Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2020-04-19 16:43:32 -06:00
  • 8ce377d033 update toplevel comments, add mutable stack to zipped acyclic iterators Mark Thom 2020-04-19 16:01:35 -06:00
  • a7f3dafd81 Undo a workaround notoria 2020-04-19 23:26:16 +02:00
  • fb38b4b906 Corrected bound notoria 2020-04-19 23:04:51 +02:00
  • f0a1a90b0e Merge pull request #3 from triska/sleep notoria 2020-04-19 22:44:48 +02:00
  • fb331d39a6 Thrown an error if T < 0 or T > 0xfffffffffffffbff in sleep(T) notoria 2020-04-19 22:43:13 +02:00
  • 7a3e6e19b1 update comment Markus Triska 2020-04-19 22:36:27 +02:00
  • 5a063c541d Added the sleep predicate notoria 2020-04-19 21:35:49 +02:00
  • eef25ec638 Merge pull request #370 from triska/master Mark Thom 2020-04-19 16:33:51 -03:00
  • 7141fb18c1 ENHANCED: time(Goal) now also reports the time if Goal fails Markus Triska 2020-04-19 21:13:15 +02:00
  • 2c92be5e3d Merge pull request #367 from triska/master Mark Thom 2020-04-19 14:29:09 -03:00
  • 23b8a4d364 add entry for time/1 Markus Triska 2020-04-19 19:24:22 +02:00
  • c0df8cb578 update answer to use the latest toplevel improvements Markus Triska 2020-04-19 19:17:00 +02:00
  • 4693c23a49 ADDED: library(time), providing time/1 for benchmarking Markus Triska 2020-04-19 19:13:27 +02:00
  • cae0733149 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2020-04-19 12:58:54 -06:00
  • 5d6ca7a88e throw '' whenever an interrupt is made (#365, #366) Mark Thom 2020-04-19 12:58:44 -06:00
  • 86364ff278 Merge pull request #364 from triska/master Mark Thom 2020-04-18 22:54:17 -03:00
  • 60f1f1cb3d Restore the type_error, which was implemented correctly by @notoria. Markus Triska 2020-04-19 02:12:01 +02:00
  • ab3c520006 document ~| format modifier to place a tab stop at this position Markus Triska 2020-04-19 01:59:16 +02:00
  • 3798dcb98d Merge pull request #363 from triska/master Mark Thom 2020-04-18 20:37:32 -03:00
  • 45ed9405b0 use the most recent improvements Markus Triska 2020-04-19 01:30:56 +02:00
  • 075ca78dd2 ENHANCED: Delay toplevel output until after the goal succeeds. Markus Triska 2020-04-19 01:28:50 +02:00
  • 9daf290432 remove SCCCutPolicy panic, revise (;)/2 so that comma'ed cuts are handled properly (#361) Mark Thom 2020-04-18 20:10:53 -06:00
  • 3438f88c1e drop $ naming convention inside '' when unnecessary Mark Thom 2020-04-18 20:06:52 -06:00
  • 2c8858ff2d use correct signs in fixnum remainders Mark Thom 2020-04-18 17:37:54 -06:00
  • 1d964ef921 add domain and type errors for compare/3 (#296) Mark Thom 2020-04-18 14:37:14 -06:00
  • 0c6d9b1d3b Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2020-04-18 14:17:13 -06:00
  • 1713f1222b reintroduce "n" as a synonym for ";" and " " Markus Triska 2020-04-18 18:08:08 +02:00
  • 450591d5a9 ENHANCED: the toplevel interaction now supports RETURN as a synonym for "." Markus Triska 2020-04-18 17:47:24 +02:00
  • 5c4863dfb1 small simplifications Markus Triska 2020-04-18 17:40:19 +02:00
  • c6a82cbc07 Removed a check in get_single_char notoria 2020-04-18 18:28:26 +02:00
  • cc8f074d33 Added Space for continuation notoria 2020-04-18 16:57:45 +02:00
  • 196d74c3a0 Fixed the predicate name when error is thrown notoria 2020-04-18 15:21:19 +02:00
  • f28e87b240 instead of a type error, use a domain error Markus Triska 2020-04-18 14:38:03 +02:00
  • 2d77ef4245 use get_single_char/1 Markus Triska 2020-04-18 14:33:11 +02:00
  • 3f578e24b5 Removed $raw_input_read_char notoria 2020-04-18 13:54:18 +02:00
  • fb5ee5e190 get_single_char reads Tab as \t notoria 2020-04-18 13:33:42 +02:00
  • 63e8378310 get_single_char reads Enter as \n notoria 2020-04-18 13:30:52 +02:00
  • c24ebaf506 Moved get_single_char from builtins.pl to charsio.pl notoria 2020-04-18 12:52:49 +02:00
  • d3a1f11dfe Added predicate for reading a single character notoria 2020-04-18 11:49:28 +02:00
  • f96e694ff8 bracket graphic token chars in toplevel.pl (#357) Mark Thom 2020-04-18 14:13:41 -06:00
  • d5d635e50f slight tweaks to bimetatrans Mark Thom 2020-04-18 12:24:42 -06:00
  • 1ad4ce9822 index Constant::Usize (#355) Mark Thom 2020-04-15 14:11:45 -06:00
  • 3f971174e4 quote single dots only Mark Thom 2020-04-15 13:45:35 -06:00
  • 16e257ea32 ADDED: list_to_set/2, using the first occurrence of each element Markus Triska 2020-04-15 17:49:01 +02:00
  • 37f1f8ac14 allow characters as atoms in Machine::use_module and Machine::use_qualified_module Mark Thom 2020-04-15 10:32:23 -06:00
  • 474fa9b3ec remove underscores in printed variables produced by write_term_to_chars (#340) Mark Thom 2020-04-15 10:27:20 -06:00
  • 6d7b14ceb5 don't count the terminator in PStrIter len Mark Thom 2020-04-15 10:07:44 -06:00
  • af14832b6c quote dot when quoted(true) (#349) Mark Thom 2020-04-15 00:54:32 -06:00
  • 9ef185978f privilege new op declarations over old ones (#346) Mark Thom 2020-04-15 00:37:00 -06:00
  • 38bb44664c interrupt running queries and return to toplevel (#323) Mark Thom 2020-04-15 00:08:35 -06:00
  • 124d924ff5 write [a,b,c] correctly with write_canonical (#349) Mark Thom 2020-04-14 23:25:15 -06:00
  • e8091d8add update the toplevel description, incorporating the latest changes Markus Triska 2020-04-14 19:24:13 +02:00
  • 500bd53b6a Merge pull request #360 from notoria/master Mark Thom 2020-04-18 14:10:26 -03:00
  • 6996ca832d Merge pull request #2 from triska/get_single_char notoria 2020-04-18 18:51:37 +02:00
  • 2e15ab44ab Removed a check in get_single_char notoria 2020-04-18 18:28:26 +02:00
  • 2ae5472872 reintroduce "n" as a synonym for ";" and " " Markus Triska 2020-04-18 18:08:08 +02:00
  • 98a32790cd ENHANCED: the toplevel interaction now supports RETURN as a synonym for "." Markus Triska 2020-04-18 17:47:24 +02:00
  • 6dcefcfb71 small simplifications Markus Triska 2020-04-18 17:40:19 +02:00
  • 988366e37f Added Space for continuation notoria 2020-04-18 16:57:45 +02:00
  • 98a37905b8 Fixed the predicate name when error is thrown notoria 2020-04-18 15:21:19 +02:00
  • bd832d0fbb Merge pull request #1 from triska/get_single_char notoria 2020-04-18 14:50:32 +02:00
  • 1f7e18f2a9 instead of a type error, use a domain error Markus Triska 2020-04-18 14:38:03 +02:00
  • 105e9c8e88 use get_single_char/1 Markus Triska 2020-04-18 14:33:11 +02:00