ContentsIndex
Translator.Prolog.Relational
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