An Approach to framelog compiler construction
Loading...
Date
1996-01
Authors
Jantan, Aman B
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
FrameLog is a hybrid knowledge-based programming language which combines both
frames and logic programming with the view of gaining the advantages of both
formalisms. These two foniutlisms complement each other. The first formalism is
suitable for representing complex objects but rather inefficient or weak in performing
subtle reasoning, an inadequacy which can be appropriately handled by the second
formalism.
This thesis revolves around the methods used to implement a new compiler for this
language. In order to direct and help us in generating the model fo; he compile_r, we also •
make some improvements and refinements on the formal syntax of this language as well
as the semantic specifications. As a resulr, we have introdut:ed an implementation model
for the language prot;.~cssor which is based on the compilation appronch, to replace the old
prototype which is b:1sed ~n the pre-processing approach, i.e., by translating a FrameLog
source program into an equivalent Prolog program.
Description
Keywords
Framelog compiler construction