論ろん理り型がた言げん語ご

Meanings

1

noun

logic programming language

computing

A programming language based on formal logic, such as Prolog. Used in artificial intelligence and computational linguistics.

say, word

語word, speech, language

関かん数すう型がた言げん語ご
関数型言語 is a functional programming language, while 論理型言語 is a logic programming language.
手て続つづき型がた言げん語ご
手続き型言語 is a procedural programming language, contrasting with the declarative style of 論理型言語.

Compound of 論理 (logic) + 型 (type) + 言語 (language). A calque from English 'logic programming language'.