Query proof structure caching for incremental evaluation
of tabled prolog programs / Taher Muhammad Ali

QR Code

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...

Full description

Bibliographic Details
Main Author:	Taher Muhammad, Ali
Format:	Thesis
Published:	2013
Subjects:	QA76 Computer software T Technology (General)
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

Similar Items

An intelligent tool for converting prolog problems into prolog codes / Wang Keng Kuen
by: Wang, Keng Kuen
Published: (2003)

A hybrid deep CNN model for fast class-incremental food classification / Aymen Taher Ahmed al-Ashwal
by: Aymen Taher , Ahmed al-Ashwal
Published: (2019)

The need for audit of legal firms / Affendi Taher
by: Taher, Affendi
Published: (1990)

Collaborative caching architecture for continuous query in mobile database
by: Elfaki, Mohamed Ahmed, et al.
Published: (2011)

Collaborative caching for distributed mobile database query processing
by: Elfaki, Mohamed Ahmed, et al.
Published: (2010)

Audiovisual programs as authentic language input for second language acquisition in informal settings / Taher Bahrani
by: Bahrani, Taher
Published: (2013)

Incremental learning for querying multimodal symbolic data.
by: Lazarescu, Mihai M.
Published: (2000)

Comparison of query caching approaches in P2P networks
by: Rozlina, Mohamed
Published: (2011)

Service differentiation for collaborative caching query process in mobile database
by: Elfaki, Mohamed Ahmed, et al.
Published: (2011)

Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)

Elemen alam sekitar dalam menangani tekanan emosi: analisis Surah Maryam / Siti Aisyah Yusof and Muhammad Saiful Islami Mohd Taher
by: Yusof, Siti Aisyah, et al.
Published: (2020)

Automated lane detection of gel electrophoresis image using false peak elimination / Ros Surya Taher
by: Taher, Ros Surya
Published: (2018)

A literature review on collaborative caching techniques in MANETs: issues and methods used in serving queries
by: Elfaki, Mohamed, et al.
Published: (2019)

Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
Published: (2005)

Approximate Query Processing on High Dimensionality Database Tables Using Multidimensional Cluster Sampling View
by: Inoue, T., et al.
Published: (2016)

Kajian terhadap pandangan pelanggan dan permasalahan dalam skim pajak gadai Islam / Muhammad Saiful Islami Mohd Taher, Siti Aisyah Yusof dan Mohd Adib Shujaa’ Ahmad
by: Mohd Taher, Muhammad Saiful Islami, et al.
Published: (2010)

Rough web caching
by: Sulaiman, Sarina, et al.
Published: (2009)

Azble (coffee table) / Muhammad Azharuddin Zakaria
by: Zakaria, Muhammad Azharuddin
Published: (2017)

Foldable laptop table / Muhammad Azman Azamy
by: Azamy, Muhammad Azman
Published: (2019)

Study on Blast Proof Composite Plate Structures
by: Ahmad Mohamed, Hassan, et al.
Published: (2023)

Method of contemporary da'wa and it's role in religious awareness among young muslim : a study at the Faculty of Arts, University of Sabha, Libya / Mohammed Al Taher Mohammed Atiya
by: Mohammed Atiya, Mohammed Al Taher
Published: (2011)

Implications of caching for JXTA peers
by: Rozlina, Mohamed
Published: (2014)

An efficient cache replacement algorithm for minimizing the error rate in L2-STT-MRAM caches
by: Olanrewaju, Rashidah Funke, et al.
Published: (2017)

Efficient cache replacement policy for minimising error rate in L2-STT-MRAM caches
by: Olanrewaju, Rashidah Funke, et al.
Published: (2018)

Efficient cache replacement policy for minimizing error rate in L2-STT-MRAM caches
by: Olanrewaju, Rashidah Funke, et al.
Published: (2018)

A Survey of Query Expansion, Query Suggestion and Query Refinement Techniques
by: Ooi, Jessie, et al.
Published: (2015)

The incremental republic
by: Fenna, Alan
Published: (2010)

Management front end for cache server
by: Chan, Yunn Chyuan
Published: (2010)

SCSA: Evaluating skyline queries in incomplete data
by: Gulzar, Yonis, et al.
Published: (2019)

Preference evaluation techniques of preference queries in database
by: Aljuboori, Ali A.Alwan, et al.
Published: (2013)

Preference evaluation techniques of preference queries in database
by: Alwan, Ali A., et al.
Published: (2013)

Process simulation and quality evaluation of incremental sheet forming
by: Echrif, Salah B. M., et al.
Published: (2011)

A study on performance evaluation of conventional cache replacement algorithms: A review
by: Olanrewaju, Rashidah Funke, et al.
Published: (2017)

Interactive proof systems
by: Makarin, Rusydi Hasan, et al.
Published: (2011)

Zero-knowledge-proof
by: Alshaikhli, Imad Fakhri Taha, et al.
Published: (2011)

Error Proofing In Manufacturing.
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

A negation query engine for complex query transformations
by: Iqbal, Rizwan, et al.
Published: (2013)

Windows web proxy caching simulation: a tool for simulating web proxy caching under windows operating systems
by: Yasin, Waheed, et al.
Published: (2014)