Towards AND/OR parallel logic programming

Towards AND/OR parallel logic programming

Bibliographic Details
Main Author:	Khabaza, Tom
Published:	University of Sussex 1989
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.283623

Similar Items

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

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

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

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

Parallel implementation of concurrent logic languages using graph rewriting techniques
by: Papadopoulos, George Angelos
Published: (1989)

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)

Brave : an OR-parallel logic language and its application to search problems in artificial intelligence
by: Keflas, Petros
Published: (1991)

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

An approach to scalable parallel programming
by: Dobson, Simon Andrew
Published: (1993)

Staged methodologies for parallel programming
by: Winstanley, Noel William
Published: (2001)

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

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

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

Compile-time analysis of array sections for parallelization and parallel program verification
by: Manjunathaiah, M.
Published: (1996)

Data parallel lazy function programming
by: Hill, Jonathan Michael David
Published: (1995)

Parallel functional programming by declarative partitioning
by: Taylor, Frank Stephen
Published: (1997)

Detecting parallel structures in functional programs
by: Busvine, David John
Published: (1993)

A programming structure for parallel simulation
by: Fatin, Farshad
Published: (1996)

Graphical debugging and validation of parallel programs
by: Eaton, Anthony John
Published: (1993)

Prototyping tools for parallel program design
by: Hart, Edmund Reid
Published: (1996)

Configuration-oriented development of parallel programs
by: Justo, George Roger Ribeiro
Published: (1993)

Proof methods and pragmatics for parallel programming
by: Tofts, Chris
Published: (1990)

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

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

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)

Optimising the parallel behaviour of combinations of program components
by: To, Hing Wing
Published: (1996)

A theory of state-based parallel programming
by: Qiwen, Xu
Published: (1992)

Co-ordination based structured parallel programming
by: Yang, Jin
Published: (1998)

Granularity in large-scale parallel functional programming
by: Loidl, Hans Wolfgang
Published: (1998)

Parallelization of the atomic R-matrix computer programs
by: Murphy, Kieran Gerard
Published: (1993)

Semantics of a synchronous parallel programming language
by: Narayana, K. T.
Published: (1982)

Parallel program synthesis through domain and range transformers
by: Laakkonen, Ari Pekka
Published: (1996)

The synthesis of parallel programs : with specific application to text processing
by: Milligan, Peter
Published: (1986)

A self-applicable partial evaluator for the logic programming language Goedel
by: Gurr, Corin Alistair
Published: (1994)

A computational model for logic programming languages and its supporting architecture
by: Wang, Jiwei
Published: (1991)