generalize | Data.Logic.ATP.FOL, Data.Logic.ATP |
gilmore | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
gilmore_loop | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
groundterms | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
groundtuples | Data.Logic.ATP.Herbrand, Data.Logic.ATP |