Prolog: from formal specification to prototype - Leadbetter, Peter (Blackwell scientific publications, 1991)