Prolog.

An advanced logic programming language Author not listed 1990 artificial intelligence Bratko, Ivan 2012 Problem solving with Prolog Stobo, John 1989 Prolog and expert systems Bowen, Kenneth A. 1991