Qu-Prolog: An Extended Prolog for Meta Level Programming. - John Staples; Peter J. Robinson 001; R. A. Paterson; R. A. Hagen; A. J. Craddock; P. C. Wallis (META, 1988)