Kanren reasoner #94

maxeeem · 2024-02-05T16:31:24Z

ToDo:

still need to clean things up a bit more
finish temporal inference
finish implementing backward
finish handling questions and goals
improve performance by optimizing repeated and/or unneeded computation
- ex. variable_elimination

Notes:

negation is now handled explicitly, but passing 0.00 frequency works as well
analytic truth value is modified from default resulting in different truth values in some cases
- what is the correct one? this should be examined closely, looking at ex. test_conversions_between_inheritance_and_similarity
python is bumped to 3.9

…gine

…ed bug in temporal inference

github-actions · 2024-02-05T16:32:40Z

dev.txt - DEV BRANCH: FAILED (failures=54, errors=13)
pr.txt - PR BRANCH: FAILED (failures=55, errors=11)

--- dev.txt	2024-05-14 20:46:21.808333256 +0000
+++ pr.txt	2024-05-14 20:46:21.812333244 +0000
@@ -1,37 +1,3 @@
-test_bug_0 (test_BUG_NAL4.TEST_BUG_NAL4)
-<bird --> animal>. %1.00;0.90% ... FAIL
-test_abduction (test_NAL1.TEST_NAL1)
-'Abduction ... ok
-test_backward_inference (test_NAL1.TEST_NAL1)
-' Backward inference ... ok
-test_conversion (test_NAL1.TEST_NAL1)
-'Conversion ... ok
-test_deduction (test_NAL1.TEST_NAL1)
-'Deduction ... ok
-test_exemplification (test_NAL1.TEST_NAL1)
-'Exemplification ... ok
-test_induction (test_NAL1.TEST_NAL1)
-'Induction ... ok
-test_revision (test_NAL1.TEST_NAL1)
-'Revision ------ ... ok
-test_wh_question_0 (test_NAL1.TEST_NAL1)
-' "wh" question ... ok
-test_wh_question_1 (test_NAL1.TEST_NAL1)
-' "wh" question ... ok
-test_yn_question (test_NAL1.TEST_NAL1)
-'"y/n" question ... ok
-test_analogy_0 (test_NAL2.TEST_NAL2)
-'Analogy ... ok
-test_analogy_1 (test_NAL2.TEST_NAL2)
-'Analogy ... FAIL
-test_backward_inference (test_NAL2.TEST_NAL2)
-'Backward inference ... ok
-test_comparison (test_NAL2.TEST_NAL2)
-'Comparison ... ok
-test_conversions_between_inheritance_and_similarity (test_NAL2.TEST_NAL2)
-'Conversions between inheritance and similarity ... ok
-test_conversions_between_inheritance_and_similarity_0 (test_NAL2.TEST_NAL2)
-'Conversions between inheritance and similarity ... FAIL
 test_conversions_between_inheritance_and_similarity_1 (test_NAL2.TEST_NAL2)
 'Conversions between inheritance and similarity ... FAIL
 test_conversions_between_inheritance_and_similarity_2 (test_NAL2.TEST_NAL2)
@@ -41,17 +7,17 @@
 test_revision (test_NAL2.TEST_NAL2)
 'Revision ... ok
 test_set_definition_0 (test_NAL2.TEST_NAL2)
-'Set definition ... FAIL
+'Set definition ... ok
 test_set_definition_1 (test_NAL2.TEST_NAL2)
 'Set definition ... FAIL
 test_set_definition_2 (test_NAL2.TEST_NAL2)
-'Set definition ... FAIL
+'Set definition ... ok
 test_set_definition_3 (test_NAL2.TEST_NAL2)
-'Set definition ... FAIL
+'Set definition ... ok
 test_structure_transformation_0 (test_NAL2.TEST_NAL2)
 'Structure transformation ... FAIL
 test_structure_transformation_1 (test_NAL2.TEST_NAL2)
-'Structure transformation ... FAIL
+'Structure transformation ... ok
 test_translating_instance_into_inheritance (test_NAL2.TEST_NAL2)
 'Translating instance into inheritance ... ok
 test_translating_instance_property_into_inheritance (test_NAL2.TEST_NAL2)
@@ -92,6 +58,7 @@
 'Boys and girls are youth. ... FAIL
 test_uni_decomposition_3 (test_NAL3.TEST_NAL3)
 'What differs boys from gials are being strong. ... FAIL
+test_other_stuff (test_NAL4.TEST_NAL4) ... ok
 test_structural_transformation_0 (test_NAL4.TEST_NAL4)
 'Structural transformation ... ok
 test_structural_transformation_1 (test_NAL4.TEST_NAL4)
@@ -126,7 +93,7 @@
 test_composition_0 (test_NAL5.TEST_NAL5)
 'compound decomposition, two premises ... FAIL
 test_composition_1 (test_NAL5.TEST_NAL5)
-'compound decomposition, two premises ... ERROR
+'compound decomposition, two premises ... ok
 test_conditional_abduction (test_NAL5.TEST_NAL5)
 'Detachment ... ok
 test_conditional_abduction_0 (test_NAL5.TEST_NAL5)
@@ -156,7 +123,7 @@
 test_conversions_between_implication_and_equivalence (test_NAL5.TEST_NAL5)
 'conversions between Implication and Equivalence ... ok
 test_decomposition_0 (test_NAL5.TEST_NAL5)
-'compound decomposition, two premises ... ok
+'compound decomposition, two premises ... FAIL
 test_decomposition_1 (test_NAL5.TEST_NAL5)
 'compound decomposition, two premises ... ok
 test_decomposition_2 (test_NAL5.TEST_NAL5)
@@ -172,9 +139,9 @@
 test_induction (test_NAL5.TEST_NAL5)
 'Induction ... ok
 test_negation_0 (test_NAL5.TEST_NAL5)
-'negation ... FAIL
+'negation ... ok
 test_negation_1 (test_NAL5.TEST_NAL5)
-'negation ... FAIL
+'negation ... ok
 test_question_0 (test_NAL5.TEST_NAL5) ... ok
 test_question_1 (test_NAL5.TEST_NAL5) ... ok
 test_resemblance (test_NAL5.TEST_NAL5)
@@ -182,33 +149,29 @@
 test_revision (test_NAL5.TEST_NAL5)
 'Revision ... ok
 test_0 (test_NAL6.TEST_NAL6)
-<(&&, <#x-->A>, <#x-->B>, <<$y-->C>==><$y-->D>>, <$z-->E>) ==> (&&, <$z-->F>, <#p-->G>, <#p-->H>)>. ... ERROR
+<(&&, <#x-->A>, <#x-->B>, <<$y-->C>==><$y-->D>>, <$z-->E>) ==> (&&, <$z-->F>, <#p-->G>, <#p-->H>)>. ... FAIL
 test_1 (test_NAL6.TEST_NAL6)
 (&&, <#x-->A>, <#x-->B>, <<$y-->C>==><$y-->D>>). ... FAIL
 test_abduction_with_variable_elimination_abduction (test_NAL6.TEST_NAL6)
 'Abduction with variable elimination (abduction) ... ok
 test_abduction_with_variable_elimination_abduction_0 (test_NAL6.TEST_NAL6)
 <<M --> A> ==> C>. %1.00;0.90% ... ok
-test_abduction_with_variable_elimination_abduction_1 (test_NAL6.TEST_NAL6)
-<<M --> A> ==> C>. %1.00;0.90% ... ok
 test_birdClaimedByBob (test_NAL6.TEST_NAL6)
 'from https://code.google.com/archive/p/open-nars/issues/7 ... ok
 test_can_of_worms (test_NAL6.TEST_NAL6)
 <0 --> num>. %1.00;0.90% ... ok
 test_elimination_0 (test_NAL6.TEST_NAL6)
-'Variable elimination ... FAIL
+'Variable elimination ... ok
 test_elimination_1 (test_NAL6.TEST_NAL6)
-'Variable elimination ... FAIL
+'Variable elimination ... ok
 test_elimination_2 (test_NAL6.TEST_NAL6)
-'Variable elimination ... FAIL
-test_elimination_3 (test_NAL6.TEST_NAL6)
 'Variable elimination ... ok
-test_elimination_3_1 (test_NAL6.TEST_NAL6)
-(&&,<C --> A>,<D --> B>). %1.00;0.90% ... ok
-test_elimination_4 (test_NAL6.TEST_NAL6)
+test_elimination_3 (test_NAL6.TEST_NAL6)
 'Variable elimination ... FAIL
+test_elimination_4 (test_NAL6.TEST_NAL6)
+'Variable elimination ... ok
 test_elimination_5 (test_NAL6.TEST_NAL6)
-'Variable elimination ... FAIL
+'Variable elimination ... ok
 test_elimination_6 (test_NAL6.TEST_NAL6)
 'Variable elimination ... FAIL
 test_introduction_0 (test_NAL6.TEST_NAL6)
@@ -222,9 +185,9 @@
 test_multiple_variable_elimination_1 (test_NAL6.TEST_NAL6)
 'Multiple variable elimination ... ok
 test_multiple_variable_elimination_2 (test_NAL6.TEST_NAL6)
-'Multiple variable elimination ... ok
+'Multiple variable elimination ... FAIL
 test_multiple_variables_introduction_0 (test_NAL6.TEST_NAL6)
-'Multiple variables introduction ... FAIL
+'Multiple variables introduction ... ok
 test_multiple_variables_introduction_1 (test_NAL6.TEST_NAL6)
 'Multiple variables introduction ... ok
 test_nlp1 (test_NAL6.TEST_NAL6)
@@ -241,10 +204,8 @@
 'Second level variable unification ... ok
 test_second_level_variable_unification_1_0 (test_NAL6.TEST_NAL6)
 <A ==> (&&,<#2 --> B>,C)>. %1.00;0.90% ... ok
-test_second_level_variable_unification_1_1 (test_NAL6.TEST_NAL6)
-<A ==> (&&,<D --> B>,C)>. %1.00;0.90% ... ok
 test_second_variable_introduction_induction (test_NAL6.TEST_NAL6)
-'Second variable introduction (induction) ... ok
+'Second variable introduction (induction) ... FAIL
 test_symmetry (test_NAL6.TEST_NAL6)
 <(*,a,b) --> like>. %1.00;0.90% ... ok
 test_uncle (test_NAL6.TEST_NAL6)
@@ -271,12 +232,11 @@
 'Second variable introduction (induction) ... ok
 test_variable_elimination_deduction_0 (test_NAL6.TEST_NAL6)
 <M --> A>. %1.00;0.90% ... ok
-test_variable_elimination_deduction_1 (test_NAL6.TEST_NAL6)
-<M --> A>. %1.00;0.90% ... ok
+test_variables (test_NAL6.TEST_NAL6) ... FAIL
 test_abduction (test_NAL7.TEST_NAL7)
 'Temporal abudction ... ok
 test_abduction_sequence_eliminate_0 (test_NAL7.TEST_NAL7)
-nal7.19.nal ... ok
+nal7.19.nal ... FAIL
 test_abduction_sequence_eliminate_1 (test_NAL7.TEST_NAL7)
 nal7.19.nal ... FAIL
 test_analogy (test_NAL7.TEST_NAL7)
@@ -292,7 +252,7 @@
 test_deduction (test_NAL7.TEST_NAL7)
 'Temporal deduction ... ok
 test_deduction_sequence (test_NAL7.TEST_NAL7)
-nal7.36.nal ... ok
+nal7.36.nal ... FAIL
 test_deduction_sequence_eliminate_0 (test_NAL7.TEST_NAL7)
 nal7.18.nal ... ERROR
 test_deduction_sequence_eliminate_0_1 (test_NAL7.TEST_NAL7) ... ERROR
@@ -313,37 +273,37 @@
 test_inference_on_tense_0 (test_NAL7.TEST_NAL7)
 'Inference on tense ... FAIL
 test_inference_on_tense_1 (test_NAL7.TEST_NAL7)
-' inference on tense ... FAIL
+' inference on tense ... ERROR
 test_inference_on_tense_2 (test_NAL7.TEST_NAL7)
 ' inference on tense ... ok
-test_analogy_0_0__0 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
+test_analogy_0_0__0 (test_NAL7.TEST_NAL7_ANALOGY) ... FAIL
 test_analogy_0_0__1 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_0_0__2 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_0_0__3 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
-test_analogy_0_0__4 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
+test_analogy_0_0__4 (test_NAL7.TEST_NAL7_ANALOGY) ... FAIL
 test_analogy_0_0__5 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
-test_analogy_0_1__0 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
+test_analogy_0_1__0 (test_NAL7.TEST_NAL7_ANALOGY) ... ERROR
 test_analogy_0_1__1 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
-test_analogy_0_1__2 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
+test_analogy_0_1__2 (test_NAL7.TEST_NAL7_ANALOGY) ... FAIL
 test_analogy_0_1__3 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_0_1__4 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_0_1__5 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_1_0__0 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_1_0__1 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
-test_analogy_1_0__2 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
+test_analogy_1_0__2 (test_NAL7.TEST_NAL7_ANALOGY) ... FAIL
 test_analogy_1_0__3 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_1_0__4 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_1_0__5 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
-test_analogy_1_1__0 (test_NAL7.TEST_NAL7_ANALOGY) ... FAIL
+test_analogy_1_1__0 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_1_1__1 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_1_1__2 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_1_1__3 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
-test_analogy_1_1__4 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
+test_analogy_1_1__4 (test_NAL7.TEST_NAL7_ANALOGY) ... FAIL
 test_analogy_1_1__5 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_1_0 (test_NAL8.TEST_NAL8)
 nal8.1.0.nal ... ok
 test_1_1 (test_NAL8.TEST_NAL8)
-nal8.1.1.nal ... FAIL
+nal8.1.1.nal ... ok
 test_1_10 (test_NAL8.TEST_NAL8)
 nal8.1.10.nal ... ERROR
 test_1_11 (test_NAL8.TEST_NAL8)
@@ -353,21 +313,21 @@
 test_1_13_var (test_NAL8.TEST_NAL8)
 nal8.1.13.nal ... ERROR
 test_1_14 (test_NAL8.TEST_NAL8)
-nal8.1.14.nal ... ok
+nal8.1.14.nal ... FAIL
 test_1_16 (test_NAL8.TEST_NAL8)
 nal8.1.16.nal ... FAIL
 test_1_2 (test_NAL8.TEST_NAL8)
 nal8.1.2.nal ... FAIL
 test_1_3 (test_NAL8.TEST_NAL8)
-nal8.1.3.nal ... ok
+nal8.1.3.nal ... FAIL
 test_1_3_var (test_NAL8.TEST_NAL8)
-nal8.1.3.nal ... ERROR
+nal8.1.3.nal ... FAIL
 test_1_4 (test_NAL8.TEST_NAL8)
-nal8.1.4.nal ... ok
+nal8.1.4.nal ... FAIL
 test_1_4_var (test_NAL8.TEST_NAL8)
 nal8.1.4.nal ... FAIL
 test_1_5 (test_NAL8.TEST_NAL8)
-nal8.1.5.nal ... ERROR
+nal8.1.5.nal ... ok
 test_1_7 (test_NAL8.TEST_NAL8)
 nal8.1.7.nal ... FAIL
 test_1_7_var (test_NAL8.TEST_NAL8)
@@ -377,7 +337,7 @@
 test_1_9 (test_NAL8.TEST_NAL8)
 nal8.1.9.nal ... FAIL
 test_sequence_0 (test_NAL8.TEST_NAL8)
-(&/, A, B, C). ... ok
+(&/, A, B, C). ... FAIL
 test_sequence_1 (test_NAL8.TEST_NAL8)
 C! ... FAIL
 test_sequence_2 (test_NAL8.TEST_NAL8)

ccrock4t

Looks good, I left some comments

pynars/config.json

pynars/Narsese/_py/Truth.py

pynars/Narsese/_py/Copula.py

pynars/NARS/DataStructures/_py/Concept.py

pynars/NARS/Control/Reasoner.py

ccrock4t · 2024-03-29T00:10:07Z

How many cases are failing due to this? At any rate, I guess the new tests / KanrenEngine should take priority. Though, would it be a big or small change to update the GeneralEngine to use negation instead?

… each theorem to speed up structural inference

maxeeem · 2024-03-29T01:50:32Z

How many cases are failing due to this? At any rate, I guess the new tests / KanrenEngine should take priority. Though, would it be a big or small change to update the GeneralEngine to use negation instead?

Due to negation probably just a few. Most are because of the different truth values I believe.

maxeeem · 2024-03-29T18:30:28Z

@ccrock4t @bowen-xu Also, here's a fun little comparison of performance between Kanren and General inference engines.
https://youtu.be/07NTJhEkiVQ

I guess the takeaway is that there's no easy way to compare the two directly and there is room to improve the computation in KanrenEngine but it is not directly related to miniKanren, which is performant as is, but rather to the way immediate and structural inference are handled.

pynars/NARS/InferenceEngine/KanrenEngine/nal-rules.yml

bowen-xu · 2024-04-25T14:07:23Z

pynars/Narsese/_py/Compound.py

@@ -22,6 +22,8 @@ class Compound(Term):  # , OrderedSet):
    def __init__(self, connector: Connector, *terms: Term, is_input=False) -> None:
        ''''''
        self._is_commutative = connector.is_commutative
+        if connector is Connector.Product and len(terms) == 1:


I think this change is not so reasonable. For an operation sentence, the term SELF should be attached by the user, or it should be added in the parser.
For example, ^turn(left) may be converted to (*, SELF, left)-->^turn automatically. See
https://github.com/bowen-xu/PyNARS/blob/52ed0fac4de3ced442685ac435c86f38cd0ebc05/pynars/Narsese/Parser/parser.py#L216-L225

I agree that (*, self) is weird. It is a theoretical problem. Does it cause bad consequences in practice?

See test_1_1 in NAL8. It has a compound (^open,{t001}). which gets parsed to <(*, {t001}) --> ^open>.

I am ok adding something into the Parser and open to your suggestions but one way or another SELF needs to be added into it.

will raise another pr on this issue.

pynars/NARS/InferenceEngine/KanrenEngine/nal-rules.yml

Tests/test_NAL/test_NAL3.py

Tests/test_NAL/test_NAL4.py

pynars/NARS/InferenceEngine/KanrenEngine/KanrenEngine.py

bowen-xu · 2024-05-13T20:12:29Z

pynars/NARS/InferenceEngine/KanrenEngine/KanrenEngine.py

+                    continue
+                (p1, p2, c) = rule[0]
+                sub_terms = term(p1).sub_terms | term(p2).sub_terms | term(c).sub_terms
+                if sub_terms.isdisjoint(res[0].sub_terms):


Why should they have no common terms?

Good question :)

So perhaps I should add a clarifying comment here. It's the same with structural inference, there's a similar line of code in that function.

The basic idea is that conclusion should not have theorem or rule terms like S or P or M. This is one way of enforcing it. As always, open to suggestions on how to accomplish this better.

pynars/NARS/InferenceEngine/KanrenEngine/KanrenEngine.py

bowen-xu · 2024-05-13T20:28:59Z

I understand Inference Engine is quite a hard work... Thank you, Maxim!

pynars/NARS/Control/Reasoner.py

maxeeem added 19 commits January 26, 2024 12:45

introducing KanrenEngine

3bd1b72

wip

5e92f65

change default config

306c443

fixes for structural transformation and handling of lists in KanrenEn…

99877b8

…gine

load rules from a yaml file

e0d3fc3

refactor code to make it more modular

3b1cce1

refactor for readability

600ff63

move inference_step outside of inference engine to Reasoner class

6607c59

updating some tests

7ac7b41

fix bug in conversion from logit to term

90bb4d3

wip

1d31839

wip variable_elimination

c02b3a3

reset theorems priorities on nars.reset(); fix tests

d18081d

consider permutations for variable elimination

f3c27a7

begin introducing temporal inference

b18de7c

introducing temporal inference

c6800f2

continuing to fill out termporal inference

760adde

revert back to using identical to compare outputs in tests; fix relat…

5bdb587

…ed bug in temporal inference

cleaning up

bad7fe7

maxeeem added the do-not-merge label Feb 5, 2024

maxeeem added 2 commits February 5, 2024 08:36

bump minimum required python version to 3.9

a9a6f1d

remove print statement in one of the tests

2b05d46

maxeeem linked an issue Feb 5, 2024 that may be closed by this pull request

[Feature] Using miniKanren to refactor the RuleTable #11

Closed

ccrock4t reviewed Feb 9, 2024

View reviewed changes

maxeeem added 2 commits February 14, 2024 08:31

rename copula variants eg atemporal to get_atemporal

c0db1c7

wip experimenting with structural inference taking one theorem at a time

ff761d0

ccrock4t mentioned this pull request Feb 15, 2024

[Feature] Simple EventBuffer #95

Closed

maxeeem added 2 commits March 12, 2024 13:21

wip

7fd58e7

modify diff function and extended boolean operators

a5ecf18

fix issue with incorrect rules added to strong_rules; keep subset for…

8e68b95

… each theorem to speed up structural inference

maxeeem added 9 commits April 27, 2024 15:15

adding ability to toggle structural and immediate on and off

0334569

remove print statement

6d63448

limit compexity for backward reasoning results

0b390fc

limiting conditional_compositional rules to variable introduction

fc07343

give additional cycles to structural tests

db60e1f

give more cycles to variable tests

0a83452

fix error in test; still fails for not though

1cb4cc2

modifying expected truth value in exemplification case NAL7

d5d40b7

fix error in test

33bb375

maxeeem added the testing label Apr 28, 2024

maxeeem added 3 commits April 30, 2024 13:51

code cleanup

53c9b22

move temporal order function into the engine

b648ba2

using frequency 0 in place of explicit negation in tests

ba1780b

maxeeem force-pushed the KanrenReasoner branch from b0f76d2 to ba1780b Compare May 1, 2024 20:08

merge changes from dev

605b213

maxeeem removed the do-not-merge label May 3, 2024

maxeeem added 3 commits May 9, 2024 12:48

deepcopy Term when cloning; cache conversion from logic to term

23339c9

eliminate reference cycle in IndexVar

74b2a3f

revert cycle multiplyer

72bea12

bowen-xu approved these changes May 13, 2024

View reviewed changes

bowen-xu reviewed May 13, 2024

View reviewed changes

pynars/NARS/Control/Reasoner.py Show resolved Hide resolved

merging changes from dev

ee133fe

maxeeem requested a review from bowen-xu May 14, 2024 22:00

bowen-xu merged commit 6ee8035 into dev May 15, 2024
1 check passed

bowen-xu mentioned this pull request May 17, 2024

Add SELF term into operation #109

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Kanren reasoner #94

Kanren reasoner #94

maxeeem commented Feb 5, 2024 •

edited

Loading

github-actions bot commented Feb 5, 2024 •

edited

Loading

ccrock4t left a comment

ccrock4t commented Mar 29, 2024 •

edited

Loading

maxeeem commented Mar 29, 2024

maxeeem commented Mar 29, 2024 •

edited

Loading

bowen-xu Apr 25, 2024

bowen-xu Apr 25, 2024

maxeeem May 14, 2024

bowen-xu May 15, 2024

bowen-xu May 13, 2024

maxeeem May 14, 2024

bowen-xu commented May 13, 2024 •

edited

Loading

Kanren reasoner #94

Kanren reasoner #94

Conversation

maxeeem commented Feb 5, 2024 • edited Loading

github-actions bot commented Feb 5, 2024 • edited Loading

ccrock4t left a comment

Choose a reason for hiding this comment

ccrock4t commented Mar 29, 2024 • edited Loading

maxeeem commented Mar 29, 2024

maxeeem commented Mar 29, 2024 • edited Loading

bowen-xu Apr 25, 2024

Choose a reason for hiding this comment

bowen-xu Apr 25, 2024

Choose a reason for hiding this comment

maxeeem May 14, 2024

Choose a reason for hiding this comment

bowen-xu May 15, 2024

Choose a reason for hiding this comment

bowen-xu May 13, 2024

Choose a reason for hiding this comment

maxeeem May 14, 2024

Choose a reason for hiding this comment

bowen-xu commented May 13, 2024 • edited Loading

maxeeem commented Feb 5, 2024 •

edited

Loading

github-actions bot commented Feb 5, 2024 •

edited

Loading

ccrock4t commented Mar 29, 2024 •

edited

Loading

maxeeem commented Mar 29, 2024 •

edited

Loading

bowen-xu commented May 13, 2024 •

edited

Loading