An Approach to framelog compiler construction

Loading...
Thumbnail Image
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
Citation