Inroduction to nonprocederal languages - Truitt Thomas D; Mindluin Stuart B (New York McGraw-Hill, 1983)
Bibliography 481-82p
Keywords: Prolog; Computer science