Title page for ETD etd-02022010-020103
|Type of Document
||Haugh, J. Steven
||The design of a virtual fact base for Prolog
||Master of Science
||Computer Science and Applications
|Fox, Edward Alan
|Roach, John W.
|Shaffer, Clifford A.
- Prolog (Computer program language)
|Date of Defense
The 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
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.
|| Approximate Download Time
| 28.8 Modem
|| 56K Modem
|| ISDN (64 Kb)
|| ISDN (128 Kb)
|| Higher-speed Access
next to an author's name indicates that all
files or directories associated with their ETD
are accessible from the Virginia Tech campus network only.
If you have questions or technical
problems, please Contact DLA.