STRUCTURED SYSTEMS ANALYSIS THROUGH PROLOG - Goble, Terry (New York Prentice Hall, 1989)
Keywords: Prolog (Computer Program Language); System Analysis; Electonic Data Processing -- Structural Techniques