Prolog II+
Evolution of
Prolog 3 (5525)
3rd generation of the logic programming language