Prolog from specification to prototype. - Leadbetter Peter A (1991)