Important Links
Machine generated authority record.
Work cat.: (OSt)31880: Clocksin, W.F., Programming in prolog, 2004.