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)
