Document Type

Technical Report

Publication Date

1987-06-01

Filename

WUCS-87-13.pdf

Technical Report Number

WUCS-87-13

Abstract

We have applied logic programming to the problem of designing knowledge representation systems. This report describes a Generalized Database System, PRODB, that has been implemented in Prolog. It also describes two extensions to the basic PRODB core. First, knowledge representation and consistency-checking features have been added to PRODB to enhance its ability to consistently represent knowledge, especially in an Engineering domain. Second, extensions to Prolog's definite clause grammar mechanism have been used to create interfaces to a knowledge base directly from grammars describing the input languages. The interface to the system is derived directly from the grammars, so this part of the system is easy to tailor. In addition, we are able to use different grammars at different times in order to have multiple interfaces to the same knowledge base system.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7QF8R5M

Share

COinS