Structured systems analysis through Prolog - Goble, Terry