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