Structured systems analysis through Prolog
Goble, Terry,1950-
London Prentice-Hall
1988
Bibliography: p197-201. - Includes index