LICENSE.txt | 100644 | 0 | 0 | | | 1.06 KB | df3eb6ad147afd4f70d062627288edda0273e2493de0c9d4397d66fbe34f1798 |
README.md | 100644 | 0 | 0 | | | 5.04 KB | 7933d28253bf06ae51675cfaa978b2e7d88442ac954425f58ba070da4bb9e202 |
Rakefile | 100644 | 0 | 0 | | | 145 Bytes | 9e1ba08392e6ad5aff02b757932420c6b4497d9340053e7b5279c524d427ad17 |
.rspec | 100644 | 0 | 0 | | | 53 Bytes | 06245e25d7cf46b4fbde27b5faa0df0d4110e11918eeb5848de4ab2aff897b59 |
.rubocop.yml | 100644 | 0 | 0 | | | 5.05 KB | 4710b4b8e5ca3a2a7e4ed71aa3f866fbf43b1d1ea8a6abc4337a46fa3605ef23 |
.travis.yml | 100644 | 0 | 0 | | | 152 Bytes | 6a215d809451ea63864295a1d1444ac476835f5221cf7010a28ab2b22dac4edf |
CHANGELOG.md | 100644 | 0 | 0 | | | 7.31 KB | b4f07a6d5e212750c34cb8ca278bb6af6f8bf56894fb580e6955aa28ce9dd4b2 |
Gemfile | 100644 | 0 | 0 | | | 127 Bytes | 18409819b8bca48944f77310a7a8a03e44daceb466503a929aea51849da77b02 |
lib/mini_kraken.rb | 100644 | 0 | 0 | | | 316 Bytes | c42d64f11337c2dfe16b09d4ff8c171a85788c33e8029d30a39f7a98915929a9 |
lib/mini_kraken/atomic/all_atomic.rb | 100644 | 0 | 0 | | | 116 Bytes | 0a6c9287d73abc6d019ed004ca7d712b899aa6e712016281d0c489a526da99aa |
lib/mini_kraken/atomic/atomic_term.rb | 100644 | 0 | 0 | | | 2.68 KB | ae1bc36b80ac6134a5fdaf6a8ed8f9520e593e8f5db4c9435d3fd64a27dac6bb |
lib/mini_kraken/atomic/k_boolean.rb | 100644 | 0 | 0 | | | 1.33 KB | 2e35efd5fbe7cc60effda84ce4b174d188d0fd4fd9d18080abcd9fbe1877db6b |
lib/mini_kraken/atomic/k_integer.rb | 100644 | 0 | 0 | | | 340 Bytes | 397ec53c400d9e167243ee900603838eb87ef69b3b2f2b049230601eaa7191e2 |
lib/mini_kraken/atomic/k_string.rb | 100644 | 0 | 0 | | | 381 Bytes | 5b37d00890d030699d34b0416df8909edde8e5d324b0d4bae863b10b798bf4d5 |
lib/mini_kraken/atomic/k_symbol.rb | 100644 | 0 | 0 | | | 526 Bytes | b9e2073b8ecde4a8ad3d7b51bdae0b30498f90c0107d444c71ef8d4533ce884c |
lib/mini_kraken/composite/all_composite.rb | 100644 | 0 | 0 | | | 92 Bytes | 70784f28aa577c988a213cd975e8fc9825a61a93e0ba28f1d0f42f879ff72c68 |
lib/mini_kraken/composite/composite_term.rb | 100644 | 0 | 0 | | | 735 Bytes | 9af9c9816ed850c153023b2f527d6ff769f4a4010885986343d1ff809edff59f |
lib/mini_kraken/composite/cons_cell.rb | 100644 | 0 | 0 | | | 8.18 KB | b7f92b2b76e3e1da4d4dfb8af455c639ec2f43b84df3e16f93b480ae026a10f9 |
lib/mini_kraken/composite/cons_cell_visitor.rb | 100644 | 0 | 0 | | | 1.66 KB | 5ac3ab8ed1144ed4bbd7ef323cf5b7eb809aae62efb1a031368ab5451e4d57ee |
lib/mini_kraken/composite/list.rb | 100644 | 0 | 0 | | | 944 Bytes | 48517550bd4aca74063aaceb6ebe840a635a362db54e24078696eebfb23b8684 |
lib/mini_kraken/core/all_core.rb | 100644 | 0 | 0 | | | 191 Bytes | f5febd10f454b379d90a9f089c855fc4979a65bdac7277ae58f679ba103c3689 |
lib/mini_kraken/core/any_value.rb | 100644 | 0 | 0 | | | 1.63 KB | 38fa859271f9d5aac6919a365b1ccf5cf69dc710141a40cb2d27128a97590ef3 |
lib/mini_kraken/core/arity.rb | 100644 | 0 | 0 | | | 1.85 KB | ae10bb51e7a8ed6d2339ae453909bc9af727d57c7340202e8ca4b141d9971a67 |
lib/mini_kraken/core/association.rb | 100644 | 0 | 0 | | | 1.78 KB | f2545de1a33a6cf7cfceeb1821a53b0b91416614b6bcb12ab566da3a03425ec8 |
lib/mini_kraken/core/association_copy.rb | 100644 | 0 | 0 | | | 1.46 KB | 5cb6a3aa9dd2f9f4b7c088dcc93fef099b326365c1ec9de4287935647fca7c3f |
lib/mini_kraken/core/base_term.rb | 100644 | 0 | 0 | | | 441 Bytes | c6f478d65deff2be54da1c728bc93e8ef84a9d228b5579e91e28ee62a91881c3 |
lib/mini_kraken/core/blackboard.rb | 100644 | 0 | 0 | | | 9.63 KB | c6c115ac71d4aa92202538846613b9a242ea392bc4e1a11dfc8a4a69e18e70be |
lib/mini_kraken/core/bookmark.rb | 100644 | 0 | 0 | | | 1.4 KB | 37368c3da9f22ccaf83dce1bb2abc6aa2033d2d49187df2030d908be9acb18cd |
lib/mini_kraken/core/context.rb | 100644 | 0 | 0 | | | 19.3 KB | ee41a21e239a66b43a7f0f31e06b74c713abdff9f5288941933909d95b5aba36 |
lib/mini_kraken/core/duck_fiber.rb | 100644 | 0 | 0 | | | 1.3 KB | 5aba8f9655d83a3c02ea52dbd6363f954583f748065f9062564996fdda87be14 |
lib/mini_kraken/core/entry.rb | 100644 | 0 | 0 | | | 1.18 KB | d5c81a06e2a7ded1a8907ffb328b56beec7dc7b0107ffefdb768c4b1d1ff9bc1 |
lib/mini_kraken/core/fail.rb | 100644 | 0 | 0 | | | 847 Bytes | 2dbd969094771dfc6b121452538ba59d43b75119f094f96e189403c5a61d0f5b |
lib/mini_kraken/core/fusion.rb | 100644 | 0 | 0 | | | 864 Bytes | 20526dbb42c19ee27af091a9bbef3c25d95f13d860dde016584f1aa7565e68fe |
lib/mini_kraken/core/goal.rb | 100644 | 0 | 0 | | | 1.24 KB | 6d9e18644b25bf48da3048ceccb61e612c3d13191be4eff04ab18be6ebfdbdbb |
lib/mini_kraken/core/log_var.rb | 100644 | 0 | 0 | | | 688 Bytes | 5e8c703826dc1d7de8bf1f11ef8363e4035547a5fb62c6343e560eea2e045d16 |
lib/mini_kraken/core/log_var_ref.rb | 100644 | 0 | 0 | | | 3.24 KB | c580dbd3d92f794100ea55d909a85d030068c38f0ee7d81ef7de9a5797ab056f |
lib/mini_kraken/core/nullary_relation.rb | 100644 | 0 | 0 | | | 302 Bytes | d604d543fd8f641a62df06b8db1278fcf4c7c1586eb469913086992118bbf63a |
lib/mini_kraken/core/parametrized_term.rb | 100644 | 0 | 0 | | | 1.8 KB | 40ab475446613b5368831b8e51ebb22b280c5228fa4138789ee7a73b3ef62633 |
lib/mini_kraken/core/relation.rb | 100644 | 0 | 0 | | | 839 Bytes | cc009ad6bff8a6369ac753149728f1fd144d234041eb7590c30736fa67b62cc7 |
lib/mini_kraken/core/scope.rb | 100644 | 0 | 0 | | | 1.87 KB | 583277b5376b75e9a3425841097309a365c0ae6677bb94ede3a959778af09d98 |
lib/mini_kraken/core/solver_adapter.rb | 100644 | 0 | 0 | | | 1.63 KB | 5fcac4c8eb35ff65b659300853ba184f4509e932cbac6a76794ca962a660e97e |
lib/mini_kraken/core/specification.rb | 100644 | 0 | 0 | | | 1.41 KB | 649fcc105199ca931116348dc4ac360169283a41f10dfd204fd524894ce364d1 |
lib/mini_kraken/core/succeed.rb | 100644 | 0 | 0 | | | 920 Bytes | 4563f1fc9b1d3e2455b534bc7f2a36b4b4a6a2db400e7f0d29afa405eca19b9f |
lib/mini_kraken/core/symbol_table.rb | 100644 | 0 | 0 | | | 3.96 KB | 9c0e6b78c1a79ddc0d1a8ac27fd26b871673fe803c42a558a8f7558d28889557 |
lib/mini_kraken/core/term.rb | 100644 | 0 | 0 | | | 743 Bytes | e2e788d3d34e4b83fa74a1936f1e4441a403ebf053085a28a3872423b59a879c |
lib/mini_kraken/glue/dsl.rb | 100644 | 0 | 0 | | | 5.83 KB | d32c732be4250b972760ae88966f9d56add250614e60afd6f0f955150ca88e1b |
lib/mini_kraken/glue/run_star_expression.rb | 100644 | 0 | 0 | | | 2.01 KB | 0788b86d34545240a139917bc5138475b4fac37ac7f4bb32e8b9ecdabf5f10cf |
lib/mini_kraken/rela/all_rela.rb | 100644 | 0 | 0 | | | 188 Bytes | 359b81f2c8d0e1f695c37c7bc810c35c07723327456ddc067a6df344b89cd9d1 |
lib/mini_kraken/rela/binary_relation.rb | 100644 | 0 | 0 | | | 783 Bytes | 255594f3d0ecccdd082515d58904c95e7ad9c5e9f0c0e16af369aaf909b77eef |
lib/mini_kraken/rela/conde.rb | 100644 | 0 | 0 | | | 3.61 KB | bfa9b41db3dff893907cbd2ae6ec484b229f11f801adf3d001527a7a3d802afc |
lib/mini_kraken/rela/conj2.rb | 100644 | 0 | 0 | | | 1.77 KB | 3519314bbd95307ecb9a5c3c8681ec6d649a869f3441d27fcf5bcd385d3f8a62 |
lib/mini_kraken/rela/def_relation.rb | 100644 | 0 | 0 | | | 2.13 KB | a46fcd1d60c08039b48b5ca4239393ad7516f20b21386318ceb0ab3ccd4e5a70 |
lib/mini_kraken/rela/disj2.rb | 100644 | 0 | 0 | | | 1.91 KB | d16ab01a8060c9d108674c4ef7e38b76ef519990764d45ae0ce0154722489749 |
lib/mini_kraken/rela/fresh.rb | 100644 | 0 | 0 | | | 2.68 KB | 971bc3c7d86c8515bba38dcc160e31fbc095f2a144dcab7e1acd5bcce0a90d1e |
lib/mini_kraken/rela/goal_relation.rb | 100644 | 0 | 0 | | | 642 Bytes | eb078cb285baaec8650852015eb29a44e74f9296e03bd8a8e8064b9da1706052 |
lib/mini_kraken/rela/unify.rb | 100644 | 0 | 0 | | | 8.71 KB | 53dea57020e5f82c3de24ef3c64c5ac7a01b435950f07d84f1209576245b58ca |
lib/mini_kraken/version.rb | 100644 | 0 | 0 | | | 74 Bytes | 23238591e73d05668f3f2bc7e5fa5d2e438b105aca3f75d3cffbd67162d44eff |
mini_kraken.gemspec | 100644 | 0 | 0 | | | 1.75 KB | 3a91c36871d38616dabc101420c1ce2fc26afc0a2a06d6a581c78c17733c5987 |
spec/.rubocop.yml | 100644 | 0 | 0 | | | 249 Bytes | 1ce869cb2aaf455965bec0a467a24fc90f50b36c9c27443b7fb1d76b181b4f1d |
spec/atomic/atomic_term_spec.rb | 100644 | 0 | 0 | | | 2.99 KB | 33adeb7eb211964e86033d31ce8716b88c2a37269b6da4389cb403b2339e96dd |
spec/atomic/k_boolean_spec.rb | 100644 | 0 | 0 | | | 2.97 KB | 74cffcdfd664814e64bf14f7488938112c1eabaa24f1b0fbbfdef933515824b5 |
spec/atomic/k_symbol_spec.rb | 100644 | 0 | 0 | | | 1.79 KB | 0ddda1faa128afe29228f199ed98f36b3286faa7c939eef4f881045d454f21ea |
spec/composite/cons_cell_spec.rb | 100644 | 0 | 0 | | | 7.52 KB | ca216260002bce067a9d899693de86307a4b8ab662f41a38c1fd72c208cd44e1 |
spec/composite/cons_cell_visitor_spec.rb | 100644 | 0 | 0 | | | 6.43 KB | 560a45bd1d852bf860b500629405a90da8c6e0d6df6f397965916b0181f1bc87 |
spec/composite/list_spec.rb | 100644 | 0 | 0 | | | 1.4 KB | becc17e6cc577f3f49c35f52d6fdb397c446d762e03aa630a9b891845fed8f2c |
spec/core/any_value_spec.rb | 100644 | 0 | 0 | | | 1.44 KB | 695d51cf5f41d90e248702d239f029b859580bdbba3d16e3317c1b2b3853e692 |
spec/core/arity_spec.rb | 100644 | 0 | 0 | | | 2.47 KB | 5290d736f1d177883543ddb3c718b39bbf60fbc3d286a6dd0a88e3bf8f215c57 |
spec/core/association_copy_spec.rb | 100644 | 0 | 0 | | | 2.25 KB | 5e08ec0286e144f76de2b5a3471ed16b2e45ee9c02a0469cac59fa25e3a1fd16 |
spec/core/association_spec.rb | 100644 | 0 | 0 | | | 1.99 KB | 6227424e7d068c7f654365ac96afd5479315a426859f602c745519e6bfca3a63 |
spec/core/blackboard_spec.rb | 100644 | 0 | 0 | | | 11.7 KB | da0554b3f3f367c7ef86e7fb4b498b73f89bf5586e4c8607f4b526466a828aa6 |
spec/core/bookmark_spec.rb | 100644 | 0 | 0 | | | 1.09 KB | af02eff2060d7675a30aed9c790299ed0526950e2c89341bc2f0859081c13941 |
spec/core/context_spec.rb | 100644 | 0 | 0 | | | 8.08 KB | 2afa02b200089e8bb25360132ea031be8878501449213e0a21fabf0808a73599 |
spec/core/core_spec.rb | 100644 | 0 | 0 | | | 1.14 KB | 6eee3048801cba23a0dfba6ee1ed1b4b8df68b140a27ebfc64c5bc3bc58e3a88 |
spec/core/duck_fiber_spec.rb | 100644 | 0 | 0 | | | 1.32 KB | 4dabd4baa1213ceeb1aa19dc635f4c99b003790aa68ec43ed2012835bfea50af |
spec/core/fail_spec.rb | 100644 | 0 | 0 | | | 1.12 KB | f0d390dd598884d549666c4f07f9739a05e445d7c738548fe5708f5487a97d9e |
spec/core/goal_spec.rb | 100644 | 0 | 0 | | | 2.11 KB | df3bf2907684639389b308212bd58eaa6fb54399545decdf84257840d65e5460 |
spec/core/log_var_ref_spec.rb | 100644 | 0 | 0 | | | 3.2 KB | c8791e9d465d50ee43f8dc821cc59692f42a0b9024ed160e984d5b3638ebdef8 |
spec/core/log_var_spec.rb | 100644 | 0 | 0 | | | 1.85 KB | c9677cdab1fe27458239dcaf2e67b0c1be2c6365dcc7fbbbc29c31741d18e10e |
spec/core/nullary_relation_spec.rb | 100644 | 0 | 0 | | | 810 Bytes | 0305bdad99c5dd898fe4db35978c77571cf82eb7fa72738554543755d77ee146 |
spec/core/parametrized_tem_spec.rb | 100644 | 0 | 0 | | | 1.25 KB | e9de7984bc56fdf87316ef2390ef62b428cd84f2b17b6637a6925578205f49f6 |
spec/core/relation_spec.rb | 100644 | 0 | 0 | | | 875 Bytes | d187f1b587b9aa5ae36663a0f59df0992e96243a384b6be8562b47915d767cf9 |
spec/core/scope_spec.rb | 100644 | 0 | 0 | | | 2.2 KB | 415efd1294ee9218de64e2cca2f67b3952bcb411fbe0ed407583ac82c4f2b007 |
spec/core/solver_adapter_spec.rb | 100644 | 0 | 0 | | | 1.74 KB | 701e7ef090daa8c5195c24bc6246f9338ad732b5c562a31029448278640a0308 |
spec/core/specification_spec.rb | 100644 | 0 | 0 | | | 1.23 KB | 0dafc56ee21becd2f712d931ee45826f23e7b4c93d5da6ac4ac180364bed6751 |
spec/core/succeed_spec.rb | 100644 | 0 | 0 | | | 1.18 KB | 3a650bb3097b18e57d716590ca429ef58786a88bdbc6ef9a48704e1374f23654 |
spec/core/symbol_table_spec.rb | 100644 | 0 | 0 | | | 5.24 KB | d538321f88d5e5dab2331366be3f8ec6e21eba36cf423da105bdc6745c4fd1de |
spec/glue/dsl_chap1_spec.rb | 100644 | 0 | 0 | | | 20.8 KB | 7f566f4b9aea5f2cac6663da84c609c275d7390d8f533a81ef7e01ff7d8dc7a8 |
spec/glue/dsl_chap2_spec.rb | 100644 | 0 | 0 | | | 7.04 KB | 4a2b544f7d0b167ab9505ed79ef04739491d7726d643dc82300fec7ab09f3247 |
spec/glue/run_star_expression_spec.rb | 100644 | 0 | 0 | | | 6.02 KB | 2ee030d37cf6e44c79c1fbc1fd798edc49fef5f59c4d4bb30c287ab1d0f61308 |
spec/mini_kraken_spec.rb | 100644 | 0 | 0 | | | 195 Bytes | 14f46ef795fb18de0b2348b4fd6f8a504f1a04ff561b65ef4751dc16e21cf707 |
spec/rela/conde_spec.rb | 100644 | 0 | 0 | | | 5.39 KB | b4c3cbfc1f1344139a41a4b0953a02699fa09a2a99058123673592b96b647428 |
spec/rela/conj2_spec.rb | 100644 | 0 | 0 | | | 4.16 KB | c1de24768aa0263af550ddd724a3a993a10b77d2860740f0775e2295ad13a2e9 |
spec/rela/def_relation_spec.rb | 100644 | 0 | 0 | | | 4.15 KB | 30bf0d296faaaf8e71f5f276df33685080510eec26a482aef4cf93954715f5de |
spec/rela/disj2_spec.rb | 100644 | 0 | 0 | | | 3.87 KB | 4c9fd05c5f145f24ff0ed9da5de31061baa75724364204bdaef627f8553196bb |
spec/rela/fresh_spec.rb | 100644 | 0 | 0 | | | 5.35 KB | 34d839460b9e7126ce67758718d6a52ba2268324b9b43c43eb8c5bbe4fd3ccd3 |
spec/rela/unify_spec.rb | 100644 | 0 | 0 | | | 11.9 KB | feeca10874b1d6324607210f172935f81f6aeb93be4b745ac16b60b5371013c4 |
spec/spec_helper.rb | 100644 | 0 | 0 | | | 401 Bytes | 869859a238e38cea407134664713bcb7d27760ffcd2429aa82c019521b9e0a83 |
spec/support/factory_atomic.rb | 100644 | 0 | 0 | | | 780 Bytes | c4953c26eb461c01ada980a4662fe96b43ec149686d6238005788f66e307fff1 |
spec/support/factory_composite.rb | 100644 | 0 | 0 | | | 569 Bytes | 39e45a0bf0bf594921c10217979d6171622a58e2104d487caf874839b5ee1889 |
spec/support/factory_methods.rb | 100644 | 0 | 0 | | | 2.19 KB | 16a87362665b178cc96bd2415ad0e0fc0cf17fe7a940da0191aa35791b63f4b4 |