| català | cat-000 |
| programació lògica | |
| English | eng-000 | logic programing |
| English | eng-000 | logic programming |
| suomi | fin-000 | logiikkaohjelmointi |
| français | fra-000 | programmation logique |
| italiano | ita-000 | programmazione logica |
| 日本語 | jpn-000 | ロジックプログラミング |
| 日本語 | jpn-000 | 論理プログラミング |
| português | por-000 | programação lógica |
| ภาษาไทย | tha-000 | การเขียนโปรแกรมเชิงตรรกะ |