DTIC ADA156936: The DUCK Manual pdf

DTIC ADA156936: The DUCK Manual

More Book Details

Description of the Book:

Duck is deductive database designed to work as an adjunct to Artificial-Intelligence application programs written in Lisp. It provides the following features: Backward chaining logic interpreter; Forward chaining; Data dependencies and reason maintenance; Integration of deduction with Lisp computation; Multiple databases; Syntax checking for deductive rules; Trace package; Interactive examination of successful and failed deductions; and Generation of quasi-English versions of rules. Additional keywords: DUCK programming language. (Author

• Creator/s: Defense Technical Information Center
• Date: 6/1/1985
• Year: 1985
• Book Topics/Themes: DTIC Archive, McDermott, D, YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE, *PROGRAMMING MANUALS, *PROGRAMMING LANGUAGES, DATA BASES, ARTIFICIAL INTELLIGENCE, SYNTAX

An excerpt captured from the PDF book