wrap kanren code in a KanrenEngine class; parse rules on init

Tests/test_NAL/test_NAL1.py

@@ -15,6 +15,8 @@
 import Tests.utils_for_test as utils_for_test
 from Tests.utils_for_test import *
 
+import logging
+
 # utils_for_test.engine = RuleMap()
 
 class TEST_NAL1(unittest.TestCase):
@@ -60,10 +62,18 @@ def test_deduction(self):
         'Robin is a type of animal.
         ''outputMustContain('<robin --> animal>. %1.00;0.81%')
         '''
+
         rules, task, belief, concept, task_link, term_link, result1, result2 = rule_map_two_premises(
             '<bird --> animal>. %1.00;0.90%', 
             '<robin --> bird>. %1.00;0.90%', 
             'bird.')
+
+        # Set log level
+        logging.basicConfig()
+        log = logging.getLogger("LOG")
+        results = kanren.inference(task.sentence, belief.sentence)
+        log.warning(results)
+
         tasks_derived = [rule(task, belief, task_link, term_link) for rule in rules] 
         self.assertTrue(
             output_contains(tasks_derived, '<robin --> animal>. %1.00;0.81%')
@@ -161,7 +171,13 @@ def test_exemplification(self):
         self.assertTrue(
             output_contains(tasks_derived, '<animal --> robin>. %1.00;0.45%')
         )
-
+
+        # Set log level
+        logging.basicConfig()
+        log = logging.getLogger("LOG")
+        results = kanren.inference(task.sentence, belief.sentence)
+        log.warning(results)
+
         pass
 
 

Tests/utils_for_test.py

@@ -13,9 +13,11 @@
 from pynars.NAL.MentalOperation import execute
 from pynars.Narsese import Sentence, Judgement, Quest, Question, Goal
 
+from pynars.NARS.InferenceEngine.Logic2 import KanrenEngine
+
 nars = Reasoner(100, 100)
 engine: GeneralEngine = nars.inference
-
+kanren: KanrenEngine = KanrenEngine()
 
 def rule_map_two_premises(premise1: str, premise2: str, term_common: str, inverse: bool=False, is_belief_term: bool=False, index_task=None, index_belief=None) -> Tuple[List[RuleCallable], Task, Belief, Concept, TaskLink, TermLink, Tuple[Task, Task, Task, Task]]:
     ''''''

pynars/NARS/InferenceEngine/GeneralEngine/GeneralEngine.py

@@ -371,6 +371,9 @@ def step(self, concept: Concept):
             term_belief = concept_target.term
             # if belief is None: continue
 
+            # if belief is not None:
+            #     print(">>", task.term, belief.term)
+
             # before matching and applying the rules, do variable-related processes (i.e. unification, and substitution/introduction/elimination)
             subst, elimn, intro = GeneralEngine.unify(task.term, belief.term if belief is not None else None, concept.term, task_link_valid, term_link)
             task_subst, task_elimn, task_intro = GeneralEngine.substitute(subst, elimn, intro, task)