論理プログラミング
ろ
ん
り
プ
ロ
グ
ラ
ミ
ン
グ
Meanings
1
logic programming
A programming paradigm based on formal logic, used in fields such as artificial intelligence and computational linguistics.
Prolog is one of the logic programming languages.
In logic programming, problems are solved using facts and rules.