Compile-time analysis for the parallel execution of logic programs in Andorra-1

Compile-time analysis for the parallel execution of logic programs in Andorra-1

Bibliographic Details
Main Author:	Costa, Vitor Manuel de Morais Santos
Published:	University of Bristol 1993
Subjects:	005 Prolog
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.357717

Similar Items

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

A logic language as a database utility
by: Lucas, R. J.
Published: (1986)

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

Motivation in tutoring systems
by: Soldato, Teresa del
Published: (1993)

A study of techniques for handling Pascal on a Prolog-like machine
by: Chen, Gang
Published: (1985)

Fault detection and rectification algorithms in a question-answering system
by: Hamdan, Abdul R.
Published: (1987)

A Prolog implementation of an object-oriented database system
by: Paton, Norman William
Published: (1989)

Logic for natural language analysis
by: Pereira, Fernando Carlos Neves
Published: (1982)

An OR parallel logic programming language : its compiler and abstract machine
by: Cheng, A. S. K.
Published: (1988)

2P-Kt: A logic-based ecosystem for symbolic AI
by: Giovanni Ciatto, et al.
Published: (2021-12-01)

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

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

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

An application of parallelism to compilation
by: Kilpatrick, P. L.
Published: (1985)

The Intellectual Training Environment for Prolog Programming Language
Published: (2007-01-01)

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

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

Speeding up dynamic compilation : concurrent and parallel dynamic compilation
by: Bohm, Igor
Published: (2013)

A logic data model for the machine representation of knowledge
by: Goebel, Randy
Published: (2010)

Mod-Logic, traductor de predicados tipo Prolog a una base de datos relacional e intérprete de consultas con plantillas diseñadas con SQL
by: María De G. Cota O., et al.
Published: (2008-12-01)

PLAN GENERATION AND PROLOG (LOGIC, DECLARATIVE, WARPLAN)
by: Boyd, Richard Victor, 1942-
Published: (1986)

An expert system shell for processing logic grammars
by: Salim, Juliani Susanti
Published: (2010)

Trace-based just-in-time compilation for lazy functional programming languages
by: Schilling, Thomas
Published: (2013)

Performance evaluation of the Delphi machine
by: Saraswat, Sanjay
Published: (1995)

The Economics of Prolog Declarative Programming in Java
by: Felician ALECU
Published: (2014-06-01)

Parallel execution of Parlog
by: Cheese, Andrew B.
Published: (1990)

Meta-programming for knowledge-based systems in Prolog
by: Yalcinalp, L. Umit
Published: (1991)

A hybrid MIMD/DF compiler for parallel processing
by: Nakhaee, Noraddin
Published: (1992)

Parallel program monitoring : the logical clock approach and its deadlock avoidance
by: Cai, Wentong
Published: (1990)

Model checking pointer safety in compiled programs
by: Muehlberg, Jan Tobias
Published: (2009)

A comparison of SL- and unit-resolution search rules for stratified logic programs
by: Lagerqvist, Victor
Published: (2010)

Uma ferramenta para o ensino de inteligência artificial usando jogos de computador
by: Filipe Correa Lima da Silva
Published: (2008)

Uma ferramenta para o ensino de inteligência artificial usando jogos de computador
by: Silva, Filipe Correa Lima da
Published: (2008)

The design and semantic analysis of a programming language and its compiler
by: Henderson, P.
Published: (1970)

A compiled inference approach to the integration of logic and relational database systems
by: Marir, Farhi
Published: (1993)

Establishing program equivalence in translation validation for optimizing compilers
by: Narasamdya, Iman
Published: (2007)

A query evaluation model supporting parallelism for logic programs
by: Marsh, Andrew J.
Published: (1990)

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

Some Competition Programming Problems as the Beginning of Artificial Intelligence
by: Boris MELNIKOV, et al.
Published: (2007-10-01)

Separate compilation and the ADA programming language
by: Briggs, J. S.
Published: (1984)