Accession Number:

ADA156936

Title:

The DUCK Manual.

Descriptive Note:

Research rept.,

Corporate Author:

YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1985-06-01

Pagination or Media Count:

95.0

Abstract:

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE