Skip to main content
Programming in Prolog by William F. Clocksin