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

Commit Graph

  • b69bf71ff4 support module modification using dynamic database predicates Mark Thom 2019-03-06 21:53:08 -07:00
  • 460a4edadc update to reflect name change Mark Jordan Thom 2019-03-06 16:37:58 +00:00
  • 07fe30c970 correct abolish/1 Mark Thom 2019-03-06 09:54:27 -07:00
  • d49917c88f give module bounds a better respect for dynamic predicates Mark Thom 2019-03-06 09:17:24 -07:00
  • c8ea788720 give dynamic predicates a better respect for module bounds Mark Thom 2019-03-06 00:51:21 -07:00
  • 6439d09733 give dynamic predicates a better respect for module bounds Mark Thom 2019-03-06 00:09:55 -07:00
  • 20e9042350 refactor compile_work Mark Thom 2019-03-05 00:47:12 -07:00
  • 14f05a67e3 separate constraint checks and code addition into separate phases in machine::compile Mark Thom 2019-03-05 00:17:56 -07:00
  • e51e816178 current_predicate skips undefined predicates Mark Thom 2019-03-04 22:44:43 -07:00
  • e4cc54104e add another test, add unwind_protect! Mark Thom 2019-03-04 22:34:17 -07:00
  • 11026e2741 remove extraneous slashes in builtins.pl Mark Thom 2019-03-04 22:03:04 -07:00
  • 3d8c0a43a6 refactor to actual modules Mark Thom 2019-03-03 23:29:02 -07:00
  • f458d12676 remove unification from dif/2 Mark Thom 2019-03-03 18:14:05 -07:00
  • f35008cbd6 condense reverse even further Mark Thom 2019-03-03 17:36:20 -07:00
  • 3fc0a230fa tighten reverse/2 Mark Thom 2019-03-03 10:37:34 -07:00
  • 74521a93d3 improve reverse/2 Mark Thom 2019-03-03 02:50:49 -07:00
  • 8ca1bb5688 eliminate redundant set_p function Mark Thom 2019-03-02 23:13:54 -07:00
  • 586375ce4c do not hard code arity in builtins.pl Mark Thom 2019-03-02 22:58:37 -07:00
  • 77652d4458 correct inlining calling in last call context Mark Thom 2019-03-02 22:57:07 -07:00
  • e4cb904470 correct inlined calling bug in last call, add dynamic database manipulation predicates Mark Thom 2019-03-02 16:57:45 -07:00
  • 2fb5408ab5 add assertz/1 and asserta/1 Mark Thom 2019-03-02 00:27:40 -07:00
  • 818a971833 start enabling the dynamic database Mark Thom 2019-02-28 21:49:07 -07:00
  • 9db7172bfe remove defunct dependency from reif.pl Mark Thom 2019-02-25 17:40:37 -07:00
  • 7f8c6eb3f5 make better use of can_be in between library Mark Thom 2019-02-24 15:15:00 -07:00
  • dc89ed57f2 evacuate when allocating anon vars Mark Thom 2019-02-24 13:40:58 -07:00
  • 8f9c620a89 remove redundancy positivity check in repeat/1 Mark Thom 2019-02-24 13:12:46 -07:00
  • 7edbb540bd use can_be and must_be in library(between) Mark Thom 2019-02-24 13:10:31 -07:00
  • 767f98eaa3 begin work on between library Mark Thom 2019-02-24 03:45:41 -07:00
  • a9a0343815 add numlist/3 Mark Thom 2019-02-24 03:38:07 -07:00
  • 67ae47a01a begin work on between library Mark Thom 2019-02-23 19:59:13 -07:00
  • 20b66e283f add correct error sources to bagof/3, setof/3, findall/4 Mark Thom 2019-02-22 23:37:19 -07:00
  • 5155d4667f add examples from the power of prolog Mark Thom 2019-02-22 23:25:19 -07:00
  • 1d331757e2 add findall/4, bagof/3, setof/3 Mark Thom 2019-02-22 23:22:25 -07:00
  • 0f01d37618 properly report deterministically successful queries Mark Thom 2019-02-22 19:38:49 -07:00
  • 6ba47b6b08 use acyclic iteration when projecting onto query vars Mark Thom 2019-02-22 17:48:49 -07:00
  • f41b5f465e add findall/3 Mark Thom 2019-02-22 00:56:04 -07:00
  • 0453435bcd change project_attributes to use attribute vars queue Mark Thom 2019-02-20 19:34:31 -07:00
  • e66928725a remove clone from unwind_trail in copier.rs Mark Thom 2019-02-19 22:32:25 -07:00
  • bf62fd7f78 refactor parts of machine_state_impl.rs that consume copier.rs Mark Thom 2019-02-19 22:01:50 -07:00
  • b710112df2 refactor copier.rs Mark Thom 2019-02-19 22:00:13 -07:00
  • 2467f6c711 add call_residue_vars/2 Mark Thom 2019-02-18 21:13:56 -07:00
  • a460e84c57 sort attribute goals before deduplicating them linearly Mark Thom 2019-02-17 12:23:25 -07:00
  • 896914b8e9 do not count calls to $reify_switch as inferences Mark Thom 2019-02-17 11:51:24 -07:00
  • a898824b65 ensure stdin is not being locked more than once Mark Thom 2019-02-17 01:33:35 -07:00
  • 023fec0d9d fix term expansion bug Mark Thom 2019-02-17 00:55:22 -07:00
  • b7dd76bf37 add library(reif) Mark Thom 2019-02-16 16:34:38 -07:00
  • d2afd2dd19 cleanup accessors, various other things Mark Thom 2019-02-16 14:40:56 -07:00
  • 10d5c00f4b polish freeze.pl and dif.pl Mark Thom 2019-02-15 21:04:20 -07:00
  • 818eeb6c57 correct attribute_goals/2 bug, add freeze/2, update README Mark Thom 2019-02-15 20:44:31 -07:00
  • 74a0f8b899 correct attribute_goals/2 bug, add freeze/2, update README Mark Thom 2019-02-15 20:44:15 -07:00
  • 3fb91fe0c8 update README Mark Thom 2019-02-14 22:05:47 -07:00
  • 9abe70113a correct project_attributes, correct compare_term_test and eq_test, polish attribute_goals/2 Mark Thom 2019-02-14 21:59:24 -07:00
  • 6b879467f3 fix needless check in dif/2 implementation Mark Thom 2019-02-14 16:12:24 -04:00
  • 8958a563de fix bug in dif/2 implementation Mark Thom 2019-02-14 01:19:11 -07:00
  • 2af6a00ff2 remove extraneous [ from dif.pl Mark Thom 2019-02-14 01:13:55 -07:00
  • cd5549ee5b fix attribute_goals/2 display bugs, cycle detection bug Mark Thom 2019-02-14 01:12:52 -07:00
  • f616b4ddfd prepare to add project_attributes/2 and attribute_goals/2 Mark Thom 2019-02-13 14:18:41 -07:00
  • 7edc2567a8 call verify_attributes/3 once per module Mark Thom 2019-02-12 18:12:18 -07:00
  • 06021e2373 fix attributed variables dealing with NeckCut on return Mark Thom 2019-02-12 08:38:46 -07:00
  • e36485533d bracket verify_attributes/3 interrupts with allocation and deallocation of stack frames. Mark Thom 2019-02-11 21:21:13 -07:00
  • c3a5f25239 correct and update README Mark Thom 2019-02-10 12:56:13 -07:00
  • 1a76786112 correct and update README Mark Thom 2019-02-10 12:55:18 -07:00
  • 3a340ed01c cut when finished verify_attributes/3 calls Mark Thom 2019-02-10 11:14:06 -07:00
  • 938ec60379 correct error catching in call_verify_attributes/4 Mark Thom 2019-02-09 14:21:58 -07:00
  • 197d079281 call goals in one batch after rebinding variables, add minatotask.pl, update README Mark Thom 2019-02-09 13:57:03 -07:00
  • 33dbe3bb45 correct bugs in verify_attributes handling Mark Thom 2019-02-09 00:16:57 -07:00
  • 661f9b7414 add preliminary support for verify_attributes/3 Mark Thom 2019-02-07 23:33:55 -07:00
  • 7c2f626d56 add verify_attributes driver code Mark Thom 2019-02-06 22:26:22 -07:00
  • 046569b6a9 flatten CompiledQuery and CompiledFact in Code, remove CompiledQuery Mark Thom 2019-02-06 22:25:41 -07:00
  • 9f8dd56c3c correct misspelled AttrVar in copier.rs Mark Thom 2019-02-05 19:43:16 -07:00
  • 3f5ff2eae1 properly copy already-copied attributed variables as shallow members of lists Mark Thom 2019-02-04 23:04:31 -07:00
  • 3d5489496e add support for copying attributed variables in copy_term Mark Thom 2019-02-04 22:56:23 -07:00
  • 8e22dda747 add support for copying attributed variables in copy_term Mark Thom 2019-02-04 22:32:31 -07:00
  • 50dd3afaa8 add support for copying attributed variables in copy_term Mark Thom 2019-02-04 21:24:26 -07:00
  • 2267b080ce use bind to write constants to variables Mark Thom 2019-02-03 20:08:34 -07:00
  • 8a3a79de3c copy attribute list in get_atts Mark Thom 2019-02-03 16:10:12 -07:00
  • 3cfbbb23a3 introduce a better binding scheme for attributed variables Mark Thom 2019-02-03 15:16:30 -07:00
  • f51405bc04 fix bug in DeleteAttribute Mark Thom 2019-02-02 19:25:12 -07:00
  • a28c8934f3 record perm vars only while resident stack frame is still up Mark Thom 2019-02-02 12:45:50 -07:00
  • 8f771792b3 add Addr::AttVar to address ordering Mark Thom 2019-02-02 12:20:39 -07:00
  • c5fbff505b expand goals in queries and queues Mark Thom 2019-02-01 23:36:51 -07:00
  • b6922e2a0d fix Cargo.toml Mark Thom 2019-01-30 21:52:01 -07:00
  • fcffb90549 add atts.pl, various fixes Mark Thom 2019-01-30 21:31:48 -07:00
  • 4f87fb8535 add AttrVar variant to Addr Mark Thom 2019-01-26 20:46:37 -07:00
  • 6e735bc2d4 add TrailRef type for trail Mark Thom 2019-01-26 20:06:27 -07:00
  • 91b85db90c flatten bracketed commas in dcgs Mark Thom 2019-01-26 14:38:54 -07:00
  • ef3d3aa01a fix unsafe variable handling Mark Thom 2019-01-24 23:38:53 -07:00
  • c32090325a update version number Mark Thom 2019-01-22 22:57:47 -07:00
  • 34414b6895 fix printer Mark Thom 2019-01-22 22:57:23 -07:00
  • e92996126b prepare for improved (?) ambiguity checks Mark Thom 2019-01-22 20:50:07 -07:00
  • 498fe5247d prepare to add bracketing conditions to heap_print Mark Thom 2019-01-20 23:56:15 -07:00
  • 0dabb3f370 add op info to structures and atoms Mark Thom 2019-01-19 22:27:40 -07:00
  • ca7e62928b clone in situ compiled terms Mark Thom 2019-01-19 17:05:29 -07:00
  • 18f0263d23 fix setup_hook Mark Thom 2019-01-16 20:03:59 -07:00
  • 2a4981ba85 delete trailing whitespace in compile.rs Mark Thom 2019-01-16 19:59:19 -07:00
  • 090f04c7e1 drop_expansions whenever a compilation error occurs Mark Thom 2019-01-16 19:05:07 -07:00
  • 2f75270da9 clear out expansions from code_repo if code entry fails Mark Thom 2019-01-15 22:20:53 -07:00
  • c9f6ab984f add dynamic module resolution calls Mark Thom 2019-01-06 00:15:32 -07:00
  • 387bdb4da6 update README Mark Thom 2019-01-05 22:03:17 -07:00
  • da731ad1f9 add module-level goal_expansion and term_expansion Mark Thom 2019-01-05 22:02:06 -07:00