Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Formatting

  • Loading branch information...
commit 946a40bed2198fd30214a7445dd3d4f8573fd277 1 parent e38e696
@norm2782 norm2782 authored
Showing with 3 additions and 3 deletions.
  1. +3 −3 src/Language/Prolog/NanoProlog/NanoProlog.hs
View
6 src/Language/Prolog/NanoProlog/NanoProlog.hs
@@ -101,9 +101,9 @@ unify (t, u) env@(Just m) = uni (subst m t) (subst m u)
| otherwise = Nothing
solve :: [Rule] -> Maybe Env -> [TaggedTerm] -> Result
-solve _ Nothing _ = ApplyRules []
-solve _ (Just e) [] = Done e
-solve rules e ((tg,t):ts) = ApplyRules
+solve _ Nothing _ = ApplyRules []
+solve _ (Just e) [] = Done e
+solve rules e ((tg,t):ts) = ApplyRules
[ let cts = map ((tg ++) . ('.' :) . show) ([1..] :: [Int]) `zip` cs ++ ts
in (tg, rule, solve rules (unify (t, c) e) cts)
| rule@(c :<-: cs) <- tag tg rules
Please sign in to comment.
Something went wrong with that request. Please try again.