R | |
1 (Data Constructor) | Data.Logic.Types.Harrison.FOL |
2 (Data Constructor) | Data.Logic.Types.Harrison.Equal |
ramsey | Data.Logic.Harrison.PropExamples |
rawdnf | Data.Logic.Harrison.Prop |
renamerule | Data.Logic.Harrison.Prolog |
resolution1 | Data.Logic.Harrison.Resolution |
resolution2 | Data.Logic.Harrison.Resolution |
resolution3 | Data.Logic.Harrison.Resolution |
runNormal | Data.Logic.Normal.Implicative |
runNormalT | Data.Logic.Normal.Implicative |
runProver' | Data.Logic.KnowledgeBase |
runProverT' | Data.Logic.KnowledgeBase |
runSkolem | Data.Logic.Harrison.Skolem |
runSkolemT | Data.Logic.Harrison.Skolem |