| ||||
| ||||
Documentation | ||||
doClause :: Clause String -> (Clause Int, [ITerm]) | ||||
buildVector :: Clause String -> (Clause Int, [STerm]) | ||||
makeVar :: a -> Term a | ||||
headVector :: Atom a -> (Atom Int, [Term a]) | ||||
tailVector :: Eq a => [Term a] -> [Atom a] -> ([Atom Int], [Term a]) | ||||
atomVector :: Eq a => [Term a] -> Atom a -> (Atom Int, [Term a]) | ||||
addLToVector :: Eq a => [Term a] -> [Term a] -> ([Int], [Term a]) | ||||
addToVector :: Eq a => [Term a] -> Term a -> (Int, [Term a]) | ||||
freshenVector :: [Term String] -> [Term Int] | ||||
subst :: [(Term String, Int)] -> String -> Int | ||||
translateProlog :: Module Predicate (Clause String) -> Module Predicate Relational | ||||
translatePredicate :: Predicate -> [Clause String] -> [Relational] | ||||
translateSclause :: Clause String -> Relational | ||||
translateClause :: (Clause Int, [ITerm]) -> Relational | ||||
translateAtom :: Int -> Atom Int -> Relational | ||||
completePerm :: Int -> [Term Int] -> Perm | ||||
Produced by Haddock version 0.8 |