Art of Prolog advanced programming techniques - Sterling, Leon; Shapiro, Ehud (Cambridge MIT Press, 1986)
Keywords: Prolog (Computer Program Language)