@book{sterlingshapiro:94, author = {Sterling, Leon and Shapiro, Ehud}, title = {The Art of Prolog}, publisher = {The MIT Press}, year = {1994}, address = {Cambridge, Massachusetts}, edition = {2nd} }