Structured systems analysis through Prolog - Goble, Terry (Prentice-Hall, 1989)