Query proof structure caching for incremental evaluation of tabled prolog programs / Taher Muhammad Ali
PROLOG is the most well known, widely used programming language for logic programming. PROLOG is a programming language that uses a small set of basic mechanisms to create surprisingly powerful programs. These mechanisms are pattern-matching, treebased data structuring and backtracking. PROLOG is...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://studentsrepo.um.edu.my/5604/ http://studentsrepo.um.edu.my/5604/1/WHA%2D060020%2DTaher%2DMuhammad%2DAli%2DPhD%2DDataset.pdf http://studentsrepo.um.edu.my/5604/2/WHA%2D060020%2DTaher%2DMuhammad%2DAli%2DPhD%2DThesis%2DHardCopy.pdf |