Lalemant Rene Computation as logic - Paris Masson 1993 - 387p. cm. - Prentice Hall international series in computer science . Standard No.: 36173 Source: Textual Subjects--Topical Terms: Logic programming Dewey Class. No.: D65,8(B):(R1), N3