Trapiche
The Logic programming paradigm, de Krzysztof R. Apt · Trapiche