"prolog" Engine: Results: addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (: (Struct ([]) ([])) ?1) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (: (Struct ([]) ([])) ?1) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (: (Struct ([]) ([])) ?1) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct ([]) ?1) ?2)) (: (Struct ([]) ([])) ?3) ==> ! prove (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct (: ?1 ?2) ?3) ?4)) (: (Struct ([]) ([])) ?5) ==> ! prove (addClause (addClause emptyDb (:== (Struct (: ? ?1) ?2) ?3)) (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?4))) (: (Struct ([]) ([])) ?5) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (: (Struct ([]) ([])) ?1) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct ([]) ?1) ?2)) (: (Struct ([]) ([])) ?3) ==> ! prove (addClause (addClause emptyDb (:== (Struct ([]) (: ? ?1)) ?2)) (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?3))) (: (Struct ([]) ([])) ?4) ==> ! prove (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct (: ?1 ?2) ?3) ?4)) (: (Struct ([]) ([])) ?5) ==> ! prove (addClause (addClause emptyDb (:== (Struct (: ? ?1) ?2) ?3)) (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?4))) (: (Struct ([]) ([])) ?5) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (: (Struct ([]) ([])) ?1) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct ([]) ?1) ?2)) (: (Struct ([]) ([])) ?3) ==> ! prove (addClause (addClause emptyDb (:== (Struct ([]) (: ? ?1)) ?2)) (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?3))) (: (Struct ([]) ([])) ?4) ==> ! prove (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct (: ?1 ?2) ?3) ?4)) (: (Struct ([]) ([])) ?5) ==> ! prove (addClause (addClause emptyDb (:== (Struct (: ? ?1) ?2) ?3)) (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?4))) (: (Struct ([]) ([])) ?5) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause emptyDb (:== (Struct (: '\NUL' ([])) ([])) (: (Struct (: '\NUL' ([])) ([])) ?))) (: (Struct (: '\NUL' ([])) ([])) ?1) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause emptyDb (:== (Struct (: 'a' ([])) ([])) (: (Struct (: 'a' ([])) ([])) ?))) (: (Struct (: 'a' ([])) ([])) ?1) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause emptyDb (:== (Struct (: '0' ([])) ([])) (: (Struct (: '0' ([])) ([])) ?))) (: (Struct (: '0' ([])) ([])) ?1) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (: (Struct ([]) ([])) ?1) ==> ! prove (addClause emptyDb (:== (Struct ([]) (: (Var ((,) ? ?1)) ([]))) (: (Struct ([]) (: (Var ((,) ?2 ?3)) ([]))) ?4))) (: (Struct ([]) (: (Var ((,) -1 ?5)) ([]))) ?6) ==> ! prove (addClause emptyDb (:== (Struct ([]) (: (Var ((,) ? ?1)) ([]))) (: (Struct ([]) (: (Var ((,) ?2 ?3)) ([]))) ?4))) (: (Struct ([]) (: (Var ((,) 0 ?5)) ([]))) ?6) ==> ! prove (addClause emptyDb (:== (Struct ([]) (: (Var ((,) ? ?1)) ([]))) (: (Struct ([]) (: (Struct ?2 ([])) ([]))) ?3))) (: (Struct ([]) (: (Struct ?4 ([])) ([]))) ?5) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Var ((,) ? ?1)) ?2))) (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?3))) (: (Struct ([]) ([])) ?4) ==> ! prove (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct ([]) ?1) ?2)) (: (Struct ([]) ([])) ?3) ==> ! prove (addClause (addClause emptyDb (:== (Struct ([]) (: ? ?1)) ?2)) (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?3))) (: (Struct ([]) ([])) ?4) ==> ! prove (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct (: ?1 ?2) ?3) ?4)) (: (Struct ([]) ([])) ?5) ==> ! prove (addClause (addClause emptyDb (:== (Struct ([]) (: (Var ((,) ? ?1)) ?2)) ?3)) (:== (Struct (: ?4 ?5) ?6) ?7)) (: (Struct ([]) (: (Struct ?8 (: (Struct ?9 (: (Var ((,) ?10 ?11)) ?12)) ?13)) ?14)) ?15) ==> ! prove (addClause (addClause emptyDb (:== (Struct (: ? ?1) ?2) ?3)) (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?4))) (: (Struct ([]) ([])) ?5) ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause prove (addClause (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct ([]) ?1) ?2)) (:== (Struct ([]) ?3) ?4)) (: (Struct ([]) ([])) ?5) ==> ! prove (addClause (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct ([]) ?1) ?2)) (:== (Struct (: ?3 ?4) ?5) ?6)) (: (Struct ([]) ([])) ?7) ==> ! prove (addClause (addClause (addClause emptyDb (:== (Struct ([]) ([])) (: (Struct ([]) ([])) ?))) (:== (Struct (: ?1 ?2) ?3) ?4)) (:== (Struct ([]) ?5) ?6)) (: (Struct ([]) ([])) ?7) ==> ! Interact: Results: case case case case case case case readln ([]) ? (: '0' (: '\NUL' (: '\NUL' (: 'a' (: '\NUL' (: '0' (: '\NUL' ?1))))))) of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of x : _ -> x ==> ! Parse: Results: PrologData: Results: addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause case case case case case termlist (: '0' (: '0' (: 'a' (: 'a' ([]))))) of _ : x -> x of _ : x -> x of _ : x -> x of x : _ -> x of (,) x _ -> x ==> ! addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Struct ?9 ?10) ?11)) (:== (Var ?12) ?13) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Struct ?6 ?7) ?8)) (:== (Var ?9) ?10) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Struct ?3 ?4) ?5)) (:== (Var ?6) ?7) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause (addClause emptyDb (:== (Struct ? ?1) ?2)) (:== (Var ?3) ?4) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause addClause emptyDb (:== (Var ?) ?1) ==> ! PrologData.hs:(57,0)-(63,59): Non-exhaustive patterns in function addClause case case term (: 'a' (: '0' (: 'a' (: '0' (: 'a' (: '0' (: 'a' ([])))))))) of x : _ -> x of (,) _ x -> x ==> ! Subst: Results: Version: Results: case case case case case case case case version of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of x : _ -> x ==> ! case case case case case case case case version of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of x : _ -> x ==> ! case case case case case case case case version of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of _ : x -> x of x : _ -> x ==> ! Writing: Engine.hs.html Writing: Interact.hs.html Writing: Parse.hs.html Writing: PrologData.hs.html Writing: Subst.hs.html Writing: Version.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html ["Engine.hs","Interact.hs","Parse.hs","PrologData.hs","Subst.hs","Version.hs"]