Trapiche
From logic programming to Prolog, de Krzysztof R. Apt · Trapiche