Prolog: The Standard: Reference Manual

Book by AbdelAli Ed-Dbali, Laurent Cervoni, and Pierre Deransart