Prolog : the standard : reference manual - Deransart, Pierre. (Springer, 1996)