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

noun

logic programming language

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

• Prologは代だい表ひょう的てきな論ろん理り型がた言げん語ごの一ひとつです。

  Prolog is one of the representative logic programming languages.