An Approach to framelog compiler construction
dc.contributor.author | Jantan, Aman B | |
dc.date.accessioned | 2016-05-11T02:49:29Z | |
dc.date.available | 2016-05-11T02:49:29Z | |
dc.date.issued | 1996-01 | |
dc.description.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. | en_US |
dc.identifier.uri | http://hdl.handle.net/123456789/2023 | |
dc.language.iso | en | en_US |
dc.subject | Framelog compiler construction | en_US |
dc.title | An Approach to framelog compiler construction | en_US |
dc.type | Thesis | en_US |
Files
License bundle
1 - 1 of 1
Loading...
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: