ロジックプログラミング

noun

logic programming

A programming paradigm based on formal logic; used in fields like artificial intelligence and computational linguistics.

• Prologは代だい表ひょう的てきなロジックプログラミング言げん語ごです。

  Prolog is a representative logic programming language.