The design of a virtual fact base for Prolog

Simple item page
dc.contributor.authorHaugh, J. Stevenen
dc.contributor.committeememberRoach, John W.en
dc.contributor.committeememberFox, Edward A.en
dc.contributor.committeememberShaffer, Clifford A.en
dc.contributor.departmentComputer Science and Applicationsen
dc.date.accessioned2014-03-14T21:28:17Zen
dc.date.adate2010-02-02en
dc.date.available2014-03-14T21:28:17Zen
dc.date.issued1991-04-08en
dc.date.rdate2010-02-02en
dc.date.sdate2010-02-02en
dc.description.abstractThe fact and rule list internal to Prolog is capable of handling as many facts as available memory resources permit. A solution to this limitation is to store facts on disk, retrieving them into a main memory database buffer only as needed. Allocating a fixed portion of main memory to buffer database facts frees up scarce main memory for more frequently accessed rules and data structures internal to Prolog. The Prolog Database System built in connection with this project transparently stores and retrieves facts on disk and evaluates them in the order they were asserted allowing for the transfer of existing small scale prototypes into large scale production systems. Since existing relational database techniques were not designed to function in a Prolog environment where facts are evaluated in database facilities were designed, developed, and integrated into Prolog. These database facilities include a unique page replacement policy designed to minimize expensive page faults during the execution of a Prolog program. The look ahead page replacement policy looks ahead on database pages while they are in main memory in order to determine whether they are likely to be accessed again in the future. In this way, a near optimal working set of database pages is maintained in the database buffer, assisting with minimizing expensive page faults.en
dc.description.degreeMaster of Scienceen
dc.format.extentviii, 119 leavesen
dc.format.mediumBTDen
dc.format.mimetypeapplication/pdfen
dc.identifier.otheretd-02022010-020103en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-02022010-020103/en
dc.identifier.urihttp://hdl.handle.net/10919/40884en
dc.language.isoenen
dc.publisherVirginia Techen
dc.relation.haspartLD5655.V851_1991.H294.pdfen
dc.relation.isformatofOCLC# 24119058en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.lccLD5655.V851 1991.H294en
dc.subject.lcshProlog (Computer program language)en
dc.titleThe design of a virtual fact base for Prologen
dc.typeMaster's projecten
dc.type.dcmitypeTexten
thesis.degree.disciplineComputer Science and Applicationsen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.levelmastersen
thesis.degree.nameMaster of Scienceen

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
LD5655.V851_1991.H294.pdf
Size:
3.2 MB
Format:
Adobe Portable Document Format
Download

Collections

Master's Papers and Projects