Index - L
| list_conj | |
| 1 (Function) | Data.Logic.Harrison.Prop |
| 2 (Function) | Data.Logic.Harrison.FOL |
| list_disj | |
| 1 (Function) | Data.Logic.Harrison.Prop |
| 2 (Function) | Data.Logic.Harrison.FOL |
| Literal | |
| 1 (Type/Class) | Data.Boolean, Data.Boolean.SatSolver |
| 2 (Type/Class) | Data.Logic.Classes.Literal |
| LiteralMapT | Data.Logic.Normal.Implicative |
| literalVar | Data.Boolean, Data.Boolean.SatSolver |
| loadKB | Data.Logic.KnowledgeBase |
| lookupVar | Data.Boolean.SatSolver |
| lsimplify | Data.Logic.Harrison.Skolem |