Support logic programming and its implementation in Prolog

Support logic programming and its implementation in Prolog

Bibliographic Details
Main Author:	Monk, M. R. M.
Published:	University of Bristol 1989
Subjects:	005 Computer software & programming
Online Access:	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.330036

Similar Items

Reasoning about the function and timing of integrated circuits with Prolog and temporal logic
by: Leeser, Miriam Ellen
Published: (1987)

Studies of and/or parallelism in Prolog
by: Shen, Kish
Published: (1992)

Scheduling in Or-parallel PROLOG systems
by: Beaumont, Anthony Joseph
Published: (1995)

A distributed and-or parallel Prolog network
by: Wrench, Karen Lee
Published: (1990)

The use of examples by novices learning Prolog
by: Noble, Roger Anthony
Published: (1993)

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

Exploiting OR-parallelism in Prolog using multiple sequential machines
by: Klein, Carole Susan
Published: (1989)

Towards efficient clause retrieval in a prolog database architecture
by: Zhou, Shaoyu
Published: (1992)

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

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

Initial design considerations for high-speed retrieval techniques in Prolog and text data base machines
by: Aboud, Mohamad A. A.
Published: (1985)

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

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

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

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)

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

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)

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)

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)

The design and implementation of programming languages
by: Hughes, R. J. M.
Published: (1983)

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

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

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

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

Logic program development based on typed moded schemata and data types
by: Marakakis, Emmanouil I.
Published: (1997)

Automatic program analysis in a Prolog Intelligent Teaching System
by: Looi, Chee-Kit
Published: (1988)

A logic-based modelling language and integer-programming framework for multicriteria optimisation
by: Vieira Pinto, Rodrigo Lamas
Published: (1995)

Programming support environments
by: Khan, B. B.
Published: (1984)

Studies of program test coverage criteria and the development of an automated support system
by: Girgis, M. R.
Published: (1986)

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

On the efficient implementation of combinators as an object code for functional programs
by: Joy, M. S.
Published: (1984)

Implementation and programming techniques for functional languages
by: Wray, S. C.
Published: (1986)

An investigation into generating readable software from logic specifications
by: Resler, R. Daniel
Published: (1991)

The design and implementation of a relational programming system
by: Cattrall, David Michael
Published: (1992)