logic programming

Terms from Artificial Intelligence: humans at the heart of algorithms

Logic programming uses formal logic as a form of code. The most well known logic programming is Prolog, which uses first order logic expressed as horn clauses.

Used in Chap. 1: page 6