logic programming

uncountable

(programming) Programming with a paradigm that bases on formal logic

Japanese Meaning

論理プログラミング：形式論理に基づいたパラダイムを用いて行うプログラミング手法 / 論理に基づくプログラミング：論理の理論と手法を利用してプログラムを記述する方法

After taking the advanced course, she used logic programming to express complex rules succinctly.

上級コースを受講した後、彼女は複雑な規則を簡潔に表現するために形式論理に基づくプログラミングを用いた。

Sense（1）

(programming) Programming with a paradigm that bases on formal logic