Prolog was the first kind of logic programming that existed. It opened the door to a world but as a language and depending on the domain, it can be considered t

Prolog was the first kind of logic programming that existed. It opened the door to a world but as a language and depending on the domain, it can be considered to have numerous deficiencies. Constraints liberate. A datalog program for example can be considered a very restricted prolog program, but it is guaranteed to terminate and there are alternative evaluation strategies that can be very efficient.