Prolog is a logic programming language that allows you to express problems and solutions in terms of facts, rules, and queries. One of the applications of Prolog is to implement search algorithms ...

Prolog is used primarily in artificial intelligence and expert systems applications. RFuzzy is a programming support, which stands out for its ease of use and its expressivity.

But there are many alternative models of computation. A Prolog (logic programming) computer, in particular, does not seem to exhibit several of the differences singled out.