Removed errors to make the build pass (aimacode#418)

articuno12 · norvig · commit c25fc70da8d8 · 2017-05-28T11:51:49.000-07:00
* removed flake8 errors

* fixed remaining flake8 errors

* fixed loop

* added space
diff --git a/csp.py b/csp.py
@@ -339,7 +339,6 @@ def topological_sort(X, root):
     visited shows the state (visited - not visited) of nodes
 
     """
-    nodes = X.variables
     neighbors = X.neighbors
 
     visited = defaultdict(lambda: False)
diff --git a/logic.py b/logic.py
@@ -845,8 +845,24 @@ def subst(s, x):
         return Expr(x.op, *[subst(s, arg) for arg in x.args])
 
 
-def fol_fc_ask(KB, alpha):  # TODO
-    raise NotImplementedError
+def fol_fc_ask(KB, alpha):
+    """A simple forward-chaining algorithm. [Figure 9.3]"""
+    new = []
+    while new is not None:
+        for rule in KB.clauses:
+            p, q = parse_definite_clause(standardize_variables(rule))
+            for p_ in KB.clauses:
+                if p != p_:
+                    for theta in KB.clauses:
+                        if subst(theta, p) == subst(theta, p_):
+                            q_ = subst(theta, q)
+                            if not unify(q_, KB.sentence in KB) or not unify(q_, new):
+                                new.append(q_)
+                                phi = unify(q_, alpha)
+                                if phi is not None:
+                                    return phi
+        KB.tell(new)
+    return None
 
 
 def standardize_variables(sentence, dic=None):
