| Subject | English | German |
| AI. | First-order Logic Program | FOL-Programm (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung) |
| IT | logic programming | logische Programmierung |
| IT | logic programming system | logisches Programmierungssystem |
| gen. | logic programming technology | logische Programmierungstechnologie |
| IT, dat.proc. | wired logic program | verdrahtetes Logikprogramm |