.rspec | 100644 | 0 | 0 | | | 53 Bytes | 06245e25d7cf46b4fbde27b5faa0df0d4110e11918eeb5848de4ab2aff897b59 |
.rubocop.yml | 100644 | 0 | 0 | | | 5.34 KB | 4cbfb55dbb8ad97d15b1490c4fa8cb207fbbb4a0f49cede9d3ca294b07b56ac3 |
.travis.yml | 100644 | 0 | 0 | | | 152 Bytes | 6a215d809451ea63864295a1d1444ac476835f5221cf7010a28ab2b22dac4edf |
CHANGELOG.md | 100644 | 0 | 0 | | | 8.46 KB | 3f96e1dae999497a2f5d4374a62437aaf8592465056883fbb6ac47977ee35f78 |
Gemfile | 100644 | 0 | 0 | | | 127 Bytes | 18409819b8bca48944f77310a7a8a03e44daceb466503a929aea51849da77b02 |
LICENSE.txt | 100644 | 0 | 0 | | | 1.06 KB | df3eb6ad147afd4f70d062627288edda0273e2493de0c9d4397d66fbe34f1798 |
README.md | 100644 | 0 | 0 | | | 5.15 KB | d68d866015cff1151720597fe0409c2c46c0826497ecfad9c8f12d30205cd0d9 |
Rakefile | 100644 | 0 | 0 | | | 145 Bytes | 9e1ba08392e6ad5aff02b757932420c6b4497d9340053e7b5279c524d427ad17 |
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.23 KB | d2081f22f3028fde594ee1a2779fb3106fe8e523555d2f4a1ccf47a844cc355a |
lib/mini_kraken/composite/cons_cell_visitor.rb | 100644 | 0 | 0 | | | 1.67 KB | 13ffd2ef0d9e22cd657f3d13613a8c170bf3fe41a68eb421ec10c2cf2c553ee0 |
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 | | | 15.6 KB | a819126194c8ab901cf91ff75eedd48e2d939c968a173eb4d2bda7a9fbf5ffde |
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.94 KB | a2ff58377e4f84efbc048e2d33200429418673aea5249a5e58439ee403624ae6 |
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 | | | 919 Bytes | 6136d9526f656432d6e97fa9dd1acda87095af5c93043e2086c7f41fe93d819e |
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.42 KB | bda3b6c9b1a7835a8d8cb61de46e1819086ada00a753f4fec902e2b06b9aee76 |
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.57 KB | f60a40007e953fa8e292390c27264a8a78a6c2cf8f73cf4b0dd773befb5edaa9 |
lib/mini_kraken/rela/conj2.rb | 100644 | 0 | 0 | | | 1.77 KB | 3519314bbd95307ecb9a5c3c8681ec6d649a869f3441d27fcf5bcd385d3f8a62 |
lib/mini_kraken/rela/def_relation.rb | 100644 | 0 | 0 | | | 2.87 KB | 782854a410612a6bcb6f90d94ac37e9fe37110ef29405cba7709951574f27f51 |
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 | | | 9.14 KB | 979faea5a38637ede623719499eaa10598c95662385dcd215990cfa09352dca7 |
lib/mini_kraken/version.rb | 100644 | 0 | 0 | | | 74 Bytes | 4e68875cef9086716b463e88e0a52e24a415618c886445538dbca7c06ca3ea08 |
mini_kraken.gemspec | 100644 | 0 | 0 | | | 1.75 KB | 82a38f931f8a08ef8c2b994267447ab3024eaf5e33069684ff25fc9d26310760 |
spec/.rubocop.yml | 100644 | 0 | 0 | | | 249 Bytes | 1ce869cb2aaf455965bec0a467a24fc90f50b36c9c27443b7fb1d76b181b4f1d |
spec/atomic/atomic_term_spec.rb | 100644 | 0 | 0 | | | 3.06 KB | 095bd105d10c7d405632a046d63dd71d175387bb39e0f39656319fdb2f9c81d6 |
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 | 6ca5d481fb25844edb5d9d0c3844b1f8d084c7123632835d132df19866f77807 |
spec/composite/cons_cell_visitor_spec.rb | 100644 | 0 | 0 | | | 6.42 KB | c76bea75d8d04da66632ca000cce6bc05653ac67849966b7e96b8af559cf218d |
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.54 KB | 65fe831c6c2d5fb63b0ad0f98401861b8d68695bad562429741b2a4935c8821a |
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.83 KB | 3d5516bfc4da48effb0d01c9dab2e93e7676950fcb0855fdaed0244825abe89e |
spec/core/core_spec.rb | 100644 | 0 | 0 | | | 1.14 KB | 6eee3048801cba23a0dfba6ee1ed1b4b8df68b140a27ebfc64c5bc3bc58e3a88 |
spec/core/duck_fiber_spec.rb | 100644 | 0 | 0 | | | 1.22 KB | ac07b74889a1546cffc563e9cc4dfed46f105f91c7dc7653d5ad387dbb5038fd |
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 | | | 16.1 KB | 1a63ff24ee977b7f890b07528ac0bd7b5a072cce8009a7b24f488788cafeca79 |
spec/glue/run_star_expression_spec.rb | 100644 | 0 | 0 | | | 6.02 KB | 73e855afc8f09be975911ab0f41b1ed02593f8766d769f03f104294baaec7979 |
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 |