Predicate Abbreviations and Predicate Acronym Lists

There are more pieces of Predicate terminology abbreviations. We can not list them all due to technical reasons, but we have 9 different Predicate abbreviations at the bottom which located in the Predicate terminology. please use our search engine at the top right to get more results.

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

1. Pointing Register
2. First Order Logic
3. First-Order Logic
4. Second Order Logic
5. Existential Instantiation
6. Existential Generalization
7. Definite Clause Grammars
8. Yet Another Prolog
9. Well Xormed Formulas