| English | Thesaurus |
| Equational Logic Programming | ELP (language) |
| european Inductive Logic Programming scientific NETwork | ILPNET |
| conference on Logic for Programming, Artificial intelligence and Reasoning | LPAR (AI, conference) |
| North American Conference on Logic Programming | NACLP (USA) |
| Symposium on Logic Programming | SLP (Conference) |