Adapt ast_types to clingo version used

backend/src/viasp/asp/ast_types.py

@@ -1,4 +1,6 @@
+import clingo
 from clingo.ast import ASTType
+from pkg_resources import parse_version
 
 SUPPORTED_TYPES = {
     ASTType.Comparison, ASTType.Aggregate, ASTType.Rule, ASTType.Program,
@@ -11,9 +13,14 @@
     ASTType.Interval, ASTType.UnaryOperation, ASTType.BinaryOperation,
     ASTType.Defined, ASTType.External, ASTType.ProjectAtom,
     ASTType.ProjectSignature, ASTType.ShowTerm, ASTType.Minimize,
-    ASTType.Script, ASTType.Comment
+    ASTType.Script
 }
 
+if parse_version(clingo.__version__) >= parse_version("5.7.0"):
+    SUPPORTED_TYPES.update({
+        ASTType.Comment
+    })
+
 UNSUPPORTED_TYPES = {
     ASTType.Disjunction,
 }

backend/src/viasp/asp/justify.py

@@ -258,10 +258,6 @@ def get_recursion_subgraph(
         pad=False,
         supernode_symbols=supernode_symbols)
     h_syms.sort(key=lambda node: node.rule_nr)
-    # h_syms.insert(0, Node(frozenset(facts), -1))
     insert_atoms_into_nodes(h_syms)
 
-    # reasoning_subgraph = nx.DiGraph()
-    # for a, b in pairwise(h_syms[1:]):
-    #     reasoning_subgraph.add_edge(a, b)
     return h_syms

backend/src/viasp/asp/utils.py

@@ -62,6 +62,8 @@ def remove_loops(g: nx.DiGraph) -> Tuple[nx.DiGraph, FrozenSet[RuleContainer]]:
 
 
 def insert_atoms_into_nodes(path: List[Node]) -> None:
+    if not path:
+        return
     facts = path[0]
     state = set(facts.diff)
     facts.atoms = frozenset(state)

requirements.txt

@@ -1,4 +1,4 @@
-clingo==5.6.1
+clingo>=5.6.0
 flask>=2.2.0
 networkx>=2.6
 pytest>=6.2.4