Structured systems analysis through prolog. - Goble, Terry (New York Prentice-Hall, 1989)
Keywords: Prolog (Computer program language); System analysis; Electronic data processing -- Structured techniques