logiikkaohjelmointi[Finnois]

nom
1 : creating a program that enables the computer to reason logically
2 : a computer language designed in Europe to support natural language processing