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

Commit Graph

  • 6aa3c7d5d6 handle atom table resize Bennet Bleßmann 2023-07-29 11:08:32 +02:00
  • 4ef8c5c47d detect and prevent² concurrent AtomTable use Bennet Bleßmann 2023-07-27 23:35:57 +02:00
  • 31d17f135a Merge pull request #1927 from triska/ascii_punctuation Mark Thom 2023-07-27 14:51:01 -06:00
  • 03f7b01109 FIXED: correct handling of ascii_punctuation in char_type/2 (#1926) Markus Triska 2023-07-27 20:22:05 +02:00
  • c2658dc6da Try triska's toplevel and add some debugging println!s. Nicolas Luck 2023-07-27 14:46:00 +02:00
  • 30dac8ea41 HashSet -> BTreeSet: Make parsing or results and thus tests deterministic. Add comments. Nicolas Luck 2023-07-27 12:06:03 +02:00
  • 0d28404aad Add special case when parsing Nicolas Luck 2023-07-27 11:50:38 +02:00
  • 2f99bb025c Add consult that works with streams / strings in library use-case Nicolas Luck 2023-07-27 11:41:52 +02:00
  • bff48e7c7f simplify and correct prefix-bracket spacing in heap_print.rs (#1914, #1918) Mark 2023-07-25 15:03:35 -06:00
  • 3b67ffa814 overwrite code indices of dynamic_undefined predicates (dynamic, multifile, discontiguous) on export Mark 2023-07-25 13:48:34 -06:00
  • 49b4e4cbcb Merge pull request #1907 from coasys/dashu Mark Thom 2023-07-25 11:35:10 -06:00
  • 287c308bc3 track the parent operator of the current operator in heap_print to emit space if necessary (#1906) Mark 2023-07-24 20:05:28 -06:00
  • af44d91568 Merge branch 'dashu' of https://github.com/coasys/scryer-prolog into coasys-dashu Mark 2023-07-24 11:47:57 -06:00
  • 40b6890c54 updated cargo to use git Fayeed Pawaskar 2023-07-24 19:11:41 +05:30
  • 7248425a76 Fixed warnings Fayeed Pawaskar 2023-07-24 12:41:56 +05:30
  • 1dcc1ca524 Fixed stackoverflow error Fayeed Pawaskar 2023-07-24 12:19:41 +05:30
  • 0e17d6acd7 remove rug completely Fayeed Pawaskar 2023-07-24 10:12:22 +05:30
  • c89217903a fix all the move errors Fayeed Pawaskar 2023-07-24 10:12:14 +05:30
  • 762e6d3ba4 pop both pending redirections in format_bar_separator_op when max depth exceeded (#1903) Mark 2023-07-23 15:02:27 -06:00
  • e9ae80e250 fix list abbreviation (#1901) Mark 2023-07-23 14:43:13 -06:00
  • fd7f24e265 remove EMIT_NEWLINE (#1900) Mark 2023-07-22 21:42:40 -06:00
  • 24450a8827 use ExitCode when halting so Drop is called, close terminal stream in rustyline Drop Mark 2023-07-22 14:12:38 -06:00
  • 57e8ed65b0 Merge pull request #1050 from pmoura/add_float_integer_part_and_float_fractional_part_standard_functions Mark Thom 2023-07-22 13:48:16 -06:00
  • 3f819e2dfd additional write fixes, use rustyline 12.0.0 (#1876, #1901) Mark 2023-07-22 11:53:09 -06:00
  • 9a7862c322 correct max_depth option (#1876) Mark 2023-07-21 15:05:27 -06:00
  • 92c77cdff5 Merge pull request #1899 from triska/master Mark Thom 2023-07-21 23:26:20 -06:00
  • 554e956ef5 remove another !/0 which is now no longer necessary due to improved indexing Markus Triska 2023-07-22 06:52:29 +02:00
  • 9fd6e18d59 Dedupe machine results Nicolas Luck 2023-07-22 00:32:24 +02:00
  • d8a9475460 Add missing list_last_item to lib_toplevel.pl and increase MaxDepth of write_eq to avoid truncation of results Nicolas Luck 2023-07-22 00:30:51 +02:00
  • 60d9d01a55 Merge branch 'add_float_integer_part_and_float_fractional_part_standard_functions' of https://github.com/pmoura/scryer-prolog into pmoura-add_float_integer_part_and_float_fractional_part_standard_functions Mark 2023-07-21 15:13:29 -06:00
  • cb79552dd0 correct max_depth option (#1876) Mark 2023-07-21 15:05:27 -06:00
  • f310ff24a5 remove now unnecessary cut in lists.pl Mark 2023-07-21 11:35:57 -06:00
  • b1963864d2 Explicitly dereference pointer to avoid calling neg() on reference Nicolas Luck 2023-07-21 17:07:40 +02:00
  • 9e85be11fe Fix result parsing for complex string results Nicolas Luck 2023-07-21 14:35:44 +02:00
  • b4e7000eb2 Fixed missing functionality in dashu with their methods still has some issue with move Fayeed Pawaskar 2023-07-21 14:21:32 +05:30
  • 0b833bd2f3 Add missing write_goal/3 to lib_toplevel.pl Nicolas Luck 2023-07-21 00:23:35 +02:00
  • 7c93450aa7 type QueryResult = Result<QueryResolution, String> Nicolas Luck 2023-07-20 22:31:20 +02:00
  • e529e7ba21 improve goal expansion and (',') interpretation error handling Mark 2023-07-20 14:27:10 -06:00
  • cae32d6a00 Error handling Nicolas Luck 2023-07-20 22:23:51 +02:00
  • 836f6c1d5b Don't panic when parsing results fails Nicolas Luck 2023-07-20 21:34:43 +02:00
  • 1697cd5c7f add log10, hyperbolic tan and inverse hyperbolic tan functions (#1898) Mark 2023-07-20 12:33:23 -06:00
  • dcd7360b17 add EMIT_NEWLINE to add newlines to readline input only after query terms begin to be read (#1074, #1897) Mark 2023-07-20 09:39:06 -06:00
  • 4fd247f881 check for unexpected EOF in get_to_eof (#1897) Mark 2023-07-19 17:13:47 -06:00
  • 85bc544fb9 dereference TermWriteResult variables sooner in read_term_body (#1894) Mark 2023-07-18 15:39:51 -06:00
  • 14646074be remove failing append choicepoint in atom_concat/3 special case (#1893) Mark 2023-07-18 14:44:02 -06:00
  • 1ba040c24d Merge pull request #1885 from mthom/setof_bagof_fixes Mark Thom 2023-07-18 12:35:10 -06:00
  • 56f6772422 call write_read_term_options if read_term_from_chars/3 succeeds by unifying Term to end_of_file (#1892) Mark 2023-07-18 12:15:20 -06:00
  • db43d461b9 catch errors thrown from tabling Worker (#1526, #1888) Mark 2023-07-18 12:10:27 -06:00
  • 42a50474da remove read/{1,2} as a builtin, write read options upon EOF, throw better domain errors in parse_read_term_options/2 Mark 2023-07-17 16:45:03 -06:00
  • cf367024fd add specialized EOF handling for user input (#1892) Mark 2023-07-17 13:53:08 -06:00
  • 644559b7f7 Add back newline at end of toplevel.pl Nicolas Luck 2023-07-17 21:52:17 +02:00
  • bb95ed3ad0 Add back all needed predicates to lib_toplevel.pl Nicolas Luck 2023-07-17 21:48:05 +02:00
  • 3947390877 Use lib constructor in lib tests Nicolas Luck 2023-07-17 21:47:43 +02:00
  • e7f1e32ee3 fmt machine/parsed_results.rs Nicolas Luck 2023-07-17 21:35:00 +02:00
  • 5f8cc3c64b WIP: refactor to generalize Machine::run_top_level() Nicolas Luck 2023-07-17 21:34:26 +02:00
  • 67d198ac77 Merge branch 'read_term_eof_changes' Mark 2023-07-17 13:22:51 -06:00
  • a154a34f87 omit anonymous variables from read_term variable_names and singletons lists Mark 2023-07-16 22:22:44 -06:00
  • 86c90d77dd do a better job handling EOF in read_term (#1887) Mark 2023-07-16 20:42:40 -06:00
  • 4e1a4dae6c print strings in tails of lists (#1890) Mark 2023-07-17 11:38:50 -06:00
  • cf345d8174 wip dashu move Fayeed Pawaskar 2023-07-17 20:40:41 +05:30
  • a18da368a1 Merge pull request #1891 from triska/initialization_goals Mark Thom 2023-07-16 10:26:13 -06:00
  • 5d3295c40c ENHANCED: use newly available read_term_from_chars/3 for better errors Markus Triska 2023-07-16 09:14:02 +02:00
  • de10ccfdee re-factor options handling of read_term into read_term_body (#1887) Mark 2023-07-15 21:52:54 -06:00
  • 65a8ce8e22 generalize simple goal detection to fix call/N test failures in logtalk test suite Mark 2023-07-15 19:29:06 -06:00
  • 5a7da721cd add read_term_from_chars/3 (#637) Mark 2023-07-15 11:20:20 -06:00
  • b234ef7ea3 use double_quotes in write_error (#1886) Mark 2023-07-15 10:58:25 -06:00
  • 617c961f88 add is_inbuilt check to err_on_builtin_overwrite (#1872) Mark 2023-07-15 10:44:00 -06:00
  • e95355e56e eliminate call_with_inference_limit/3 leaks (#1300) Mark 2023-07-15 10:22:23 -06:00
  • ff5e9a793b add unknown flag to set_prolog_flag and current_prolog_flag Mark 2023-07-14 19:10:10 -06:00
  • 101d0548db fix group_by_variants/4 and keysort in setof/3 (#1440, #1856) Mark 2023-07-14 17:01:46 -06:00
  • b6a81c51ab add (:-)/1 and (:-)/2 to ClauseType::is_inbuilt (#1872) Mark 2023-07-14 12:44:25 -06:00
  • ba2cd43144 fix assert(a|z)/1 errors Mark 2023-07-13 17:12:05 -06:00
  • bd720b49f3 Merge pull request #1884 from triska/countall Mark Thom 2023-07-13 16:09:29 -06:00
  • 9590d5200c ADDED: countall/2, for compatibility with GNU Prolog. Markus Triska 2023-07-13 23:08:13 +02:00
  • 12f890e4a2 throw permission_error in compile_assert when attempting to assert a built-in (#1872) Mark 2023-07-13 15:03:26 -06:00
  • a9cb826bf3 arith_eval_by_metacall may receive a stack variable Mark 2023-07-13 13:58:51 -06:00
  • 4163cb038d correct peek_code/2, don't set stream position in peek functions Mark 2023-07-13 13:37:34 -06:00
  • b051f39145 correct peek_byte/2 bugs (#1882) Mark 2023-07-13 12:23:20 -06:00
  • cfc49243c8 improve ground/1 performance (#1389) Mark 2023-07-12 18:11:56 -06:00
  • 29430ec88b fix peek_byte/2 crash (#1882) Mark 2023-07-12 16:34:11 -06:00
  • d520046a4f Merge pull request #1878 from mthom/lookahead_indexing Mark Thom 2023-07-12 16:21:06 -06:00
  • 814ce2d672 ENHANCED: improved determinism of member/2 Markus Triska 2023-07-12 07:26:52 +02:00
  • 4fd37335f5 use lookahead to skip inapplicable clauses (#1028, #1502) Mark 2023-07-11 17:59:53 -06:00
  • 1791bd8626 remove unsafe unwrap in put_char (#1881) Mark 2023-07-12 14:24:20 -06:00
  • 3f5dbc1680 emit stream aliases as permission error culprits whenever possible Mark 2023-07-12 12:17:06 -06:00
  • 44052cb373 Revert "Allow comparisons with stream terms" Mark 2023-07-12 11:44:45 -06:00
  • 8c33da11ce Revert "add stream alias check to atom/1 (#1855)" Mark 2023-07-12 11:44:44 -06:00
  • ab80c84714 Revert "add stream alias processing to atom_chars/2, atom_codes/2" Mark 2023-07-12 11:44:41 -06:00
  • c0dd94c8a3 Add test for programatic queries Nicolas Luck 2023-07-12 11:57:53 +02:00
  • f65675836c Fix build warnings Nicolas Luck 2023-07-12 11:38:53 +02:00
  • f324c9591d Refactor result parsing to idiomatic Rust and extract into parsed_results.rs Nicolas Luck 2023-07-12 10:34:07 +02:00
  • 3347f830c7 Remove debug println!s Nicolas Luck 2023-07-12 01:26:54 +02:00
  • 568abef5b8 Parsed QueryResult Nicolas Luck 2023-07-12 01:24:39 +02:00
  • 703efdb22d Make run_input_once/0 match and print all results Nicolas Luck 2023-07-12 00:03:47 +02:00
  • bb420e9347 use indexing functions to set num_cells in allocate_and_frame/or_frame (#1877) Mark 2023-07-11 13:43:34 -06:00
  • 2f45f0cfed Add convenience methods Machine::load_module_string() and Machine::run_query() Nicolas Luck 2023-07-11 14:51:58 +02:00
  • 112d398175 Add Machine::run_input_once() which reads one goal from user input and runs it Nicolas Luck 2023-07-11 14:24:30 +02:00
  • 95b31146b5 Add Machine::set_user_input(&mut self, input: String) and get_user_output() -> String. Make read_term_from_user_input() handle Stream::Byte. Nicolas Luck 2023-07-11 14:22:27 +02:00
  • 55a1f8d3da clean commented code from disjuncts.rs Mark 2023-07-10 10:32:15 -06:00
  • fba7790637 remove errant debug_hook from read_and_match Mark 2023-07-09 10:30:30 -06:00