module AltsOut where
import "TripleData"
import "Utils"
import "Observe"

-- Author: G.Naudts. Mail: naudts_vannoten@yahoo.com.



functionList = []

-- type UnifRes = [(Bool, TripleSet, SubstitutionList)]

-- first tripleset is goal; second is from db.
-- unifRes = [] -> no alternatives found
altsOut :: (UnifRes, TripleSet, TripleSet) -> UnifRes
altsOut ur = u
    where (ur1@(u, _, _), _) = foLoop (ur, functionList)

foLoop (ur, []) = (ur, [])
foLoop (ur, functionList@(x:xs))
   = foLoop (ur1, xs)
   where ur1 = x ur