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

Commit Graph

  • bd222ed2bf Added a test for mod in CLP(Z) notoria 2021-03-10 21:19:47 +01:00
  • ceac824e2b Merge pull request #862 from notoria/xor Mark Thom 2021-03-09 12:33:06 -07:00
  • 93b835ae0d Use functional notation in CLP(Z) for compatibility notoria 2021-03-07 20:59:25 +01:00
  • aa2d57cf37 Implemented a propagator for xor in CLP(Z) notoria 2021-03-07 18:46:47 +01:00
  • f6d4821a68 Small improvement for mod in CLP(Z) notoria 2021-03-07 18:38:04 +01:00
  • fa025bcf39 Merge pull request #858 from triska/master Mark Thom 2021-03-05 12:57:20 -07:00
  • 842176a595 is is --> is Markus Triska 2021-03-05 18:36:00 +01:00
  • 0fb74b56b3 FIXED: CLP(B): weighted_maximum/3 with repeated variables Markus Triska 2021-03-05 18:35:19 +01:00
  • 87abcd6a52 adapt comment to Scryer Prolog Markus Triska 2021-03-05 18:16:38 +01:00
  • 0a71e40030 qualify '$print_project_attributes_exception' call (#857) Mark Thom 2021-03-05 01:14:51 -07:00
  • 1b9db035ba call project_attributes from top-level (#846) Mark Thom 2021-03-04 16:05:01 -07:00
  • 34c3035c2b Merge pull request #856 from triska/master Mark Thom 2021-03-04 13:53:25 -07:00
  • d92951ba5b ENHANCED: more readable indentation of nested disjunctions Markus Triska 2021-03-04 21:38:39 +01:00
  • c5749cbbb1 remove unnecessary argument Markus Triska 2021-03-04 21:33:29 +01:00
  • a2e5bcc137 Merge pull request #854 from triska/master Mark Thom 2021-03-03 16:11:03 -07:00
  • 761d707b69 use the new portray_clause/1 output for generated definitions Markus Triska 2021-03-03 22:17:54 +01:00
  • d327a05e12 separate side-effects from declarative description to facilitate test cases etc. Markus Triska 2021-03-03 22:13:01 +01:00
  • 6477d21e24 ENHANCED: more readable indentation of nested ( If -> Then ; Else ) constructs Markus Triska 2021-03-03 22:04:28 +01:00
  • d3612e956e catch exceptions thrown from initialization goals (#852) Mark Thom 2021-03-03 13:56:13 -07:00
  • 5a3ee3a46e has_tail must be false for use as a filename from open/{3,4} Mark Thom 2021-03-03 12:16:47 -07:00
  • 23cb743ce2 Merge pull request #851 from Skgland/fix_num_test2 Mark Thom 2021-03-02 23:36:59 -07:00
  • 40e5a2dc35 workaround to make num tests work Skgland 2021-03-03 01:16:13 +01:00
  • 73eb4079ef Merge pull request #849 from triska/master Mark Thom 2021-03-02 11:59:22 -07:00
  • 5b60c8aa7e remove min_/3 and max_/3 which are also defined elsewhere Markus Triska 2021-03-02 19:59:57 +01:00
  • 8c5a688566 remove group_pairs_by_key/2, which is now provided by library(pairs) Markus Triska 2021-03-02 19:58:20 +01:00
  • 7ea9706c94 warn when overwriting a predicate (#848) Mark Thom 2021-03-02 11:43:47 -07:00
  • 5976e2d873 do not check for non-unifiability in dif:attribute_goals, which is sure to succeed, resulting in no goals being printed at top-level (#844) Mark Thom 2021-03-02 09:50:25 -07:00
  • d32d452583 Merge pull request #845 from triska/master Mark Thom 2021-03-01 11:45:53 -07:00
  • b77bdabca6 explain the new occurs_check flag Markus Triska 2021-03-01 19:42:16 +01:00
  • e8971e0d8b use atom_chars to convert .scryerrc path string to atom Mark Thom 2021-02-28 23:26:22 -07:00
  • 498c4660d0 use plain ! while interpreting control functors in metacalls (#724) Mark Thom 2021-02-28 19:12:35 -07:00
  • 54c142fc0d apply expand_module_names to call(A) goals Mark Thom 2021-02-28 19:01:36 -07:00
  • 6079402dc4 suppress tabled/2 existence errors in tabling library, do not print evaluation errors generated by term and goal expansion in loader.pl Mark Thom 2021-02-28 18:56:24 -07:00
  • 3d4a7f97e1 Merge pull request #843 from mthom/rebis-dev Mark Thom 2021-02-28 18:29:35 -07:00
  • d6e04beb95 check that Module is an atom before calling Module:goal_expansion/2 Mark Thom 2021-02-28 18:28:12 -07:00
  • 9a225e6244 wrap variable goals in module-expanded call/1 Mark Thom 2021-02-28 18:15:33 -07:00
  • a03f00628b do not print error messages if .scryerrc[.pl] does not exist (#842) Mark Thom 2021-02-28 17:57:35 -07:00
  • 360485d830 print errors arising from term and goal expansion calls from loader.pl Mark Thom 2021-02-28 16:19:37 -07:00
  • 3f1cfd2995 introduce bind_fn, use in applicable Fact/Query instructions (#841) Mark Thom 2021-02-28 16:19:06 -07:00
  • 08e2b601f1 pop non-composite terms from iter stack in is_cyclic_term Mark Thom 2021-02-28 12:28:19 -07:00
  • 101ed9a633 add error value to occurs_check prolog flag (#783) Mark Thom 2021-02-28 11:44:07 -07:00
  • 81ecd17b93 Merge pull request #838 from Skgland/librarify Mark Thom 2021-02-28 11:39:24 -07:00
  • 5a78f02dcb revert removal of PartialEq Skgland 2021-02-26 19:58:55 +01:00
  • 0a08464d4f move the signal handler to the binary Skgland 2021-02-26 17:24:31 +01:00
  • a638d42d92 remove #[allow(dead_code)] Skgland 2021-02-26 17:19:38 +01:00
  • 90256ea2f5 fix CI lib build with beta compiler Skgland 2021-02-26 01:03:05 +01:00
  • 90aefd35f0 adjust ci Skgland 2021-02-25 23:42:41 +01:00
  • 2f428b7261 split into lib and bin Skgland 2021-02-25 23:24:20 +01:00
  • f935060b2b restore .scryerrc loading Mark Thom 2021-02-28 11:03:55 -07:00
  • a367812348 add occurs_check flag (#309) Mark Thom 2021-02-28 10:41:32 -07:00
  • 8e6a89b279 enable op declarations with lists of operands using term expansion (#839) Mark Thom 2021-02-28 09:15:03 -07:00
  • 0747697d10 add lines read from devour_whitespace (#836) Mark Thom 2021-02-28 02:09:53 -07:00
  • 8c7494885f set compilation_target of assert loader to match that of predicate qualifier Mark Thom 2021-02-28 00:27:50 -07:00
  • 590a0b8077 update the parser with the number of lines already read by the underlying stream (#836) Mark Thom 2021-02-27 23:56:58 -07:00
  • 064d261357 implement logical update semantics for dynamic database predicates Mark Thom 2021-02-27 22:51:32 -07:00
  • adb96710bf Merge pull request #837 from triska/rebis-dev Mark Thom 2021-02-25 15:17:16 -07:00
  • dd64268bc7 add entry for library(lambda) Markus Triska 2021-02-25 22:40:31 +01:00
  • aecbd0eda3 omit internal residual goals for global_cardinality/2 Markus Triska 2021-02-25 21:45:06 +01:00
  • 2c1b7e3b14 remove unused attribute_goal/2 Markus Triska 2021-02-18 20:33:27 +01:00
  • 3eb6357892 Merge pull request #835 from triska/lambda Mark Thom 2021-02-25 14:26:41 -07:00
  • e0c98a5c79 adapt libraries and toplevel output to Scryer Prolog Markus Triska 2021-02-25 22:06:09 +01:00
  • dfb60ec2ed use individual meta_predicate/1 declarations Markus Triska 2021-02-25 22:02:51 +01:00
  • b85e260b92 ADDED: library(lambda) by Ulrich Neumerkel. Markus Triska 2021-02-25 22:00:44 +01:00
  • 4d72845c58 add copy_term_nat/2 (#795) Mark Thom 2021-02-22 22:39:34 -07:00
  • 9067f76bd6 no longer delay verify_attributes for cut instructions (#807) Mark Thom 2021-02-22 18:33:35 -07:00
  • 6c447da730 no longer generate a choice point in bb_b_put/2 (#742) Mark Thom 2021-02-22 18:27:30 -07:00
  • 1a9f6f06df consume whitespace before reading a term in loader.pl, modify prolog_load_context at file key to better reflect loading context, use it when reporting singleton variables (#812) Mark Thom 2021-02-22 13:23:22 -07:00
  • 5f8bdc564b extend existing local predicate skeletons in LoadState::compile Mark Thom 2021-02-22 02:00:25 -07:00
  • f6498f2a7b anonymize singleton variables in iso_ext.pl, charsio.pl Mark Thom 2021-02-21 19:19:43 -07:00
  • 0ef5f7f9b1 issue singleton variable warnings from loader.pl (#812) Mark Thom 2021-02-21 19:18:06 -07:00
  • a323a4dd8e wrap stream instances in one Rc<RefCell<..>>, use Ref/RefMut to access stream options Mark Thom 2021-02-21 16:28:30 -07:00
  • d5581ffd05 Merge pull request #834 from aarroyoc/rebis-http Mark Thom 2021-02-21 13:32:09 -07:00
  • 77968ab33a Fix typo Adrián Arroyo Calle 2021-02-21 21:08:03 +01:00
  • 265a5955d7 Use notoria's comment Adrián Arroyo Calle 2021-02-21 20:22:08 +01:00
  • 465ab2fa34 Merge pull request #830 from aarroyoc/rebis-http Mark Thom 2021-02-21 12:10:09 -07:00
  • d60bfef924 tweak bimetatrans_tests.pl Mark Thom 2021-02-21 12:08:36 -07:00
  • 5225587ff5 add set_prolog_flag to declarations recognized by loader.pl Mark Thom 2021-02-21 12:08:14 -07:00
  • fec790e108 correct comment before call meta_predicate declarations Mark Thom 2021-02-20 19:10:34 -07:00
  • eb5ea28bcd add 'e' as evaluable functor for Euler's constant (#832) Mark Thom 2021-02-20 18:31:47 -07:00
  • a9fe2ab5c4 use env::current_dir in Machine::current_dir (#833) Mark Thom 2021-02-20 18:25:34 -07:00
  • f2db0886dd move to a local num-rug-adapter crate addressing #822 Mark Thom 2021-02-19 17:34:26 -07:00
  • f6926a9642 remove nl after top-level use_module (#818) Mark Thom 2021-02-19 14:36:30 -07:00
  • d3442bb08f qualify command-line specified goals with user: (#820) Mark Thom 2021-02-19 14:12:34 -07:00
  • a08f5c3016 treat LocalCodePtr::Halt received at lookup_local_instr as an interrupt (#823) Mark Thom 2021-02-19 13:44:22 -07:00
  • eff892ccb8 add qualified imports use_module library modules Mark Thom 2021-02-18 17:58:05 -07:00
  • b565eaaf5a Fix HTTP server to work on Rebis branch. Breaking change Adrián Arroyo Calle 2021-02-19 00:13:00 +01:00
  • 3831a371a4 Merge pull request #829 from aarroyoc/uuidv4 Mark Thom 2021-02-18 14:29:06 -07:00
  • 77ec8ebfc3 UUIDv4 generation Adrián Arroyo Calle 2021-02-18 22:16:24 +01:00
  • c272e4d1e8 use add_dynamically_generated_module in get_or_insert_local_code_index Mark Thom 2021-02-18 14:15:28 -07:00
  • d69b7f41f2 add '$remove_module_exports' to loader.rs Mark Thom 2021-02-18 14:07:57 -07:00
  • c8a47d839a Merge pull request #828 from triska/rebis-dev Mark Thom 2021-02-18 12:21:21 -07:00
  • b3db8913c6 enable meta_predicate/1 declarations Markus Triska 2021-02-18 20:19:23 +01:00
  • e8f8f34a76 Merge pull request #827 from triska/rebis-dev Mark Thom 2021-02-18 12:15:12 -07:00
  • 5bec2c87cb add appropriate meta_predicate/1 declarations Markus Triska 2021-02-18 20:12:15 +01:00
  • d4d283480f Merge pull request #826 from triska/rebis-dev Mark Thom 2021-02-18 11:17:00 -07:00
  • 71a524662d add appropriate meta_predicate/1 declarations Markus Triska 2021-02-18 19:16:11 +01:00
  • 172aef7e26 Merge pull request #825 from tniessen/readme-typo-fix Mark Thom 2021-02-18 11:15:50 -07:00
  • 395b5faa2d instantianted -> instantiated Tobias Nießen 2021-02-18 16:53:10 +01:00
  • f4a765c5ed Fix typo in README Tobias Nießen 2021-02-18 15:41:18 +01:00
  • f5ad845d57 try to canonicalize to absolute path in current_dir(), use it in setting LoadContext directories (#821) Mark Thom 2021-02-17 18:49:51 -07:00