Parallel execution of Parlog

Parallel execution of Parlog

Bibliographic Details
Main Author:	Cheese, Andrew B.
Published:	University of Nottingham 1990
Subjects:	005 Logic programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.277848

Similar Items

And-parallel implementation of Prolog on distributed memory machines
by: Verden, Andrew Roy
Published: (1991)

A message driven or-parallel logic architecture
by: Delgado Rannauro, Sergio A.
Published: (1989)

A parallel process model and architecture for a Pure Logic Language
by: Jelly, Innes E.
Published: (1990)

Integrity constraints in deductive databases
by: Das, Subrata Kumar
Published: (1990)

The Clausal Theory of Types
by: Wolfram, David Anthony
Published: (1990)

IKBS for real-time monitoring and control applications
by: Pokkunuri, Bhanu Prasad
Published: (1990)

Over-constrained systems in CLP and CSP
by: Jampel, Michael Benjamin
Published: (1996)

A methodology and a tool for the formalisation and representation of 'common sense' (naive physical) knowledge
by: Cunningham, J.
Published: (1985)

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

Effective meta-programming in declarative languages
by: Bowers, Antony Francis
Published: (1998)

Agent theories and architectures
by: Seel, Nigel
Published: (1989)

Logic and objects : language, application and implementation
by: McCabe, Francis Gregory Christopher
Published: (1989)

Abduction by deduction
by: Fung, Tze Ho
Published: (1996)

Estimating the execution time of Fortran programs on distributed memory, parallel computers
by: Dunlop, Alistair Neil
Published: (1997)

T-Brave : a transputer based OR-parallel execution model with blackboard support
by: Carson, John Anthony
Published: (1995)

From Z to C : illustration of a rigorous development method
by: Neilson, D. S.
Published: (1989)

Analysis and specialisation of imperative programs : an approach using CLP
by: Peralta Estrada, Julio C.
Published: (2000)

Coupled resolution engines for programming knowledge based systems in logic
by: Taylor, Hamish
Published: (1989)

Implementation of committed choice logic languages on shared memory multiprocessors
by: Crammond, James Alexander
Published: (1988)

Prolog and expert systems
by: Davies, Peter Leslie
Published: (1987)

Gazing : a technique for controlling the use of rewrite rules
by: Plummer, David John
Published: (1988)

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

Parallel execution of logic programs.
Published: (1988)

Polka : a parlog object oriented language
by: Davison, Andrew
Published: (1989)

Application of formal methods to digital system design
by: Herbert, J. M. J.
Published: (1986)

A formalism for representing qualified knowledge and its implementation for large knowledge bases
by: Jiang, Y. J.
Published: (1986)

Type-driven natural language analysis
by: Pareschi, Remo
Published: (1988)

Parlog as a systems programming language
by: Foster, Ian
Published: (1988)

Parallel paradigms and their implementation
by: Stanford-Clark, Andrew J.
Published: (1991)

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

Non-numerical parallel algorithms for asynchronous parallel computer systems
by: Ghanemi, Salim
Published: (1987)

Parallel algorithms for MIMD parallel computers
by: Yousif, Hilal M.
Published: (1986)

An incremental execution environment
by: Bhatti, Muhammad Afzal
Published: (1989)

Object-oriented divide-and-conquer for parallel processing
by: Piper, Andrew James
Published: (1994)

Parallelization of algorithms by explicit partitioning
by: Bahoshy, Nimatallah M.
Published: (1992)

The exploitation of parallelism on shared memory multiprocessors
by: Stoker, Michael Allan
Published: (1990)

Executing models in human computer interaction
by: Roast, Christopher Richard
Published: (1993)

Symbolic execution and the testing of COBOL programs
by: Coward, Philip David
Published: (1991)

Parallel finite element analysis of nonlinear problems
by: Ku, Chi Ming John
Published: (1996)

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

Cannot write session to /tmp/vufind_sessions/sess_7tuqobnaee6d09lck35u55hvf8