Simply logical : intelligent reasoning by example - Flach, Peter A. (Chichester John Wiley & Sons, 1994)
Notes Registration No: 27696 (1 al) Notes Registration No: 27696 (1 al) Includes one computer disk (3 1/2 in) available from Notes Registration No: 27696 (1 al) No the counter. Notes Registration No: 27696 (1 al) No System requirements for computer disk: IBM-compatible Notes Registration No: 27696 (1 al) No PC; DOS; Prolog. Notes Registration No: 27696 (1 al) No Includes bibliographical references and index. Serials holdings B$$115.95
Keywords: Artificial intelligence; Logic, Symbolic and mathematical; Prolog (Computer program language).; Reasoning -- Data processing