The DUCK Manual.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1985
Accession Number
ADA156936

Entities

People

  • D. Mcdermott

Organizations

  • Yale University

Tags

Communities of Interest

  • Biomedical
  • C4I
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Application Software
  • Artificial Intelligence
  • Computations
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Debugging
  • Demographic Cohorts
  • Electrical Engineering
  • Information Systems
  • Language
  • Lisp Programming Language
  • Maintenance
  • Programming Languages
  • Side Effects

Fields of Study

  • Education
  • Engineering

Readers

  • Artificial Intelligence
  • Computer Science.
  • ballistics.

Technology Areas

  • AI & ML
  • AI & ML - Machine Translation