Abstract metaprolog engine
| dc.citation.epage | 199 | en_US |
| dc.citation.issueNumber | 3 | en_US |
| dc.citation.spage | 169 | en_US |
| dc.citation.volumeNumber | 34 | en_US |
| dc.contributor.author | Cicekli, I. | en_US |
| dc.date.accessioned | 2016-02-08T10:45:44Z | |
| dc.date.available | 2016-02-08T10:45:44Z | en_US |
| dc.date.issued | 1998 | en_US |
| dc.description.abstract | A compiler-based meta-level system for MetaProlog language is presented. Since MetaProlog is a meta-level extension of Prolog, the Warren Abstract Machine (WAM) is extended to get an efficient implementation of meta-level facilities; this extension is called the Abstract MetaProlog Engine (AMPE). Since theories and proofs are main meta-level objects in MetaProlog, we discuss their representations and implementations in detail. First, we describe how to efficiently represent theories and derivability relations. At the same time, we present the core part of the AMPE, which supports multiple theories and a fast context switching among theories in the MetaProlog system. Then we describe how to compute proofs, how to shrink the search space of a goal using partially instantiated proofs, and how to represent other control knowledge in a WAM-based system. In addition to computing proofs that are just success branches of search trees, fail branches can also be computed and used in the reasoning process. | en_US |
| dc.description.provenance | Made available in DSpace on 2016-02-08T10:45:44Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 70227 bytes, checksum: 26e812c6f5156f83f0e77b261a471b5a (MD5) Previous issue date: 1998 | en_US |
| dc.identifier.doi | 10.1016/S0743-1066(97)00075-7 | en_US |
| dc.identifier.eissn | 1873-5789 | |
| dc.identifier.issn | 0743-1066 | |
| dc.identifier.uri | http://hdl.handle.net/11693/25495 | en_US |
| dc.language.iso | English | en_US |
| dc.publisher | Elsevier | en_US |
| dc.relation.isversionof | https://doi.org/10.1016/S0743-1066(97)00075-7 | en_US |
| dc.source.title | Journal of Logic Programming | en_US |
| dc.subject | Database Systems | en_US |
| dc.subject | Knowledge Based Systems | en_US |
| dc.subject | Object Oriented Programming | en_US |
| dc.subject | Program Compilers | en_US |
| dc.subject | Programming Theory | en_US |
| dc.subject | PROLOG (Programming Language) | en_US |
| dc.subject | Abstract MetaProlog Engine | en_US |
| dc.subject | Warren Abstract Machine | en_US |
| dc.subject | Logic Programming | en_US |
| dc.title | Abstract metaprolog engine | en_US |
| dc.type | Article | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Abstract_metaprolog_engine.pdf
- Size:
- 1.8 MB
- Format:
- Adobe Portable Document Format
- Description:
- Full printable version