Index - V
| validKB | Data.Logic.KnowledgeBase |
| Var | |
| 1 (Data Constructor) | Data.Boolean, Data.Boolean.SatSolver |
| 2 (Data Constructor) | Data.Logic.Types.Harrison.FOL |
| 3 (Data Constructor) | Data.Logic.Types.FirstOrder |
| var | Data.Logic.Harrison.FOL |
| varApply | Data.Logic.Classes.Apply |
| varAtomEq | Data.Logic.Classes.Equals |
| Variable | |
| 1 (Type/Class) | Data.Logic.Classes.Variable |
| 2 (Data Constructor) | Data.Logic.Instances.Chiou |
| variant | Data.Logic.Classes.Variable |
| variants | Data.Logic.Classes.Variable |
| vt | Data.Logic.Classes.Term |