Techniques for preventing the recomputation in logic programs

Techniques for preventing the recomputation in logic programs

Bibliographic Details
Main Author:	Azevedo, Paolo Jorge De Sousa
Published:	Imperial College London 1996
Subjects:	005 Subquery redundancy
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.336567

Similar Items

Optimization of correlate subquery based on distributed database
Published: (2021-08-01)

Subquery allocations in distributed databases using genetic algorithms
by: Narasimhaiah Gorla, et al.
Published: (2010-04-01)

Logic programming tools and techniques for imperative program verification
by: O'Neill, I. M.
Published: (1987)

An extended interval temporal logic and a framing technique for temporal logic programming
by: Duan, Zhenhua
Published: (1996)

Derivation of logic programs
by: Hogger, C. J.
Published: (1978)

The associative evaluation of logic programs and heuristic search techniques
by: Rodohan, Darren Patrick
Published: (1993)

Custom computer architectures for logic programming
by: Fidjeland, Andreas Kirkeby
Published: (2007)

Unifying programming paradigms : logic programming and finite state automata
by: Bird, Philip
Published: (2000)

Programming in temporal logic
by: Hale, Roger William Stephen
Published: (1988)

Agents in logic programming
by: Quintero, Jacinto Alfonso Davila
Published: (1997)

Nonmonotonic inductive logic programming as abductive search
by: Corapi, Domenico
Published: (2012)

Logic and the development of programming languages, 1930-1975
by: Priestley, P. M.
Published: (2008)

Inductive logic programming using bounded hypothesis space
by: Athakravi, Duangtida
Published: (2015)

Learning definite and normal logic programs by induction on failure
by: Kimber, Timothy
Published: (2012)

Logic, programming and formal specification
by: Goldsmith, M. H.
Published: (1985)

Abductive and constraint logic programming
by: Wetsel, Gerhard
Published: (1997)

Towards AND/OR parallel logic programming
by: Khabaza, Tom
Published: (1989)

Compile-time analysis for the parallel execution of logic programs in Andorra-1
by: Costa, Vitor Manuel de Morais Santos
Published: (1993)

Efficient learning and evaluation of complex concepts in inductive logic programming
by: Santos, Jose Carlos Almeida Santos
Published: (2010)

Judgement day : terminating logic programs
by: Martin, Jonathan Charles
Published: (2000)

The application of logic programming to data bases
by: Neves, Jose Carlos Ferreira Maia
Published: (1983)

Types, modularisation and abstraction in logic programming
by: Dayantis, George
Published: (1988)

Language interoperability and logic programming languages
by: Cook, Jonathan J.
Published: (2005)

Representing indefinite information using abductive logic programs
by: Preist, Christopher William
Published: (1998)

RECOMPUTATION OF UNDP’S HDI RANKINGS BY DATA ENVELOPMENT ANALYSIS
by: Mehmet Tolga Taner, et al.
Published: (2011-11-01)

A CAD application using logic programming
by: Gonzalez, Juan Camacho
Published: (1983)

Program transformation using temporal logic specifications
by: Lacey, D. J.
Published: (2003)

Support logic programming and its implementation in Prolog
by: Monk, M. R. M.
Published: (1989)

Hoare logic's for run-time analysis of programs
by: Nielson, Hanne Riis
Published: (1984)

A logic-based concurrent object-oriented programming language
by: Melendez, Rafael Ramirez
Published: (1996)

Sequential and parallel execution of logic programs with dependency directed backtracking
by: Drakos, Nikos
Published: (1990)

Distributing and- and or-work in the Andorra-I parallel logic programming system
by: Dutra, Ines de Castro
Published: (1995)

Static analysis for detecting and avoiding floating-point run-time errors in logic programs
by: Nunez Fontarnau, Javier
Published: (2006)

Polyfun : an experimental approach to the integration of functional and logic programming
by: Stanley, Adrian
Published: (1989)

A toolkit for static analysis of constraint logic programs
by: Saglam, Hueseyin
Published: (1998)

Data-driven and demand-driven evaluation of logic programs
by: Halim, M. Z.
Published: (1984)

Compile-time analysis of concurrent logic programs for multiprocessors
by: King, Andrew Malcolm
Published: (1992)

A theory of program correctness with three valued logic
by: Jervis, Clive Andrew
Published: (1988)

DIALOG : a dataflow interpretation approach to logic programs
by: Zhang, Kang
Published: (1990)

The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981)