Goble, Terry Structured systems analysis through Prolog / Goble, Terry Dewey Class. No.: 006.33 G535S