Query proof structure caching for incremental evaluation of tabled PROLOG programs /
Saved in:
Main Author: | Ali, Taher Muhammad |
---|---|
Format: | Thesis Book |
Language: | English |
Published: |
2013.
|
Subjects: | |
Online Access: | http://studentsrepo.um.edu.my/id/eprint/5604 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Computational lexicography : constructing a lexical database in prolog /
by: Ooi, Beng Yeow
Published: (1987) -
Penemuan secara abduktif dalam pangkalan data /
by: Mohd Ridzuan bin Hussin
Published: (1996) -
A knowledge based system for machine tool replacement /
by: Mohd. Amin Abd. Majid
Published: (1993) -
Probe : a formal specification-based testing system /
by: al-Amayreh, Ahmed Abedl Rahman
Published: (1997) -
Application of fuzzy logic to partial constraint satisfaction problem /
by: Fung, Cheong Yiu
Published: (1993)