generalize | Data.Logic.Harrison.FOL |
getKB | Data.Logic.KnowledgeBase |
getSetOfSupport | Data.Logic.Resolution |
getSubst | Data.Logic.Classes.Atom |
getSubstAtomEq | Data.Logic.Resolution |
gilmore | Data.Logic.Harrison.Herbrand |
gilmore_loop | Data.Logic.Harrison.Herbrand |
groundterms | Data.Logic.Harrison.Herbrand |
groundtuples | Data.Logic.Harrison.Herbrand |