Predicate Abbreviations and Acronyms

1. DCG
   Definite Clause Grammars
2. EG
   Existential Generalization
3. EI
   Existential Instantiation
4. FOL
   First-Order Logic
5. FOL
   First Order Logic
6. PR
   Pointing Register
7. SOL
   Second Order Logic
8. WFFS
   Well Xormed Formulas
9. YAP
   Yet Another Prolog

Last updated: January 4, 2020 — Total entries: 9