added more flexible logic functionality to check neighbors of neighbo…

…rs in edge clause
lab-v2 · Mar 9, 2023 · b93a8ec · b93a8ec
1 parent 4190fa8
commit b93a8ec
Show file tree

Hide file tree

Showing 4 changed files with 208 additions and 69 deletions.
diff --git a/pyreason/pyreason.py b/pyreason/pyreason.py
@@ -383,7 +383,7 @@ def _reason(timesteps, convergence_threshold, convergence_bound_threshold):
     __edge_facts.extend(__non_fluent_graph_facts_edge)   
 
     # Setup logical program
-    program = Program(__graph, timesteps, __node_facts, __edge_facts, __rules, __ipl, settings.reverse_digraph, settings.atom_trace, settings.save_graph_attributes_to_trace)
+    program = Program(__graph, timesteps, __node_facts, __edge_facts, __rules, __ipl, settings.reverse_digraph, settings.atom_trace, settings.save_graph_attributes_to_trace, settings.canonical)
     program.available_labels_node = __node_labels
     program.available_labels_edge = __edge_labels
     program.specific_node_labels = __specific_node_labels