Index - U
| unFormula | Data.Logic.Types.FirstOrderPublic |
| Unification | Data.Logic.Resolution |
| unify | |
| 1 (Function) | Data.Logic.Classes.Atom |
| 2 (Function) | Data.Logic.Harrison.Unif |
| unifyAndApply | Data.Logic.Harrison.Unif |
| unifyAtomsEq | Data.Logic.Harrison.Tableaux |
| unify_literals | Data.Logic.Harrison.Tableaux |
| unloadKB | Data.Logic.KnowledgeBase |
| unsatisfiable | Data.Logic.Harrison.Prop |