WorldCat Identities

Warren, David H. D.

Overview
Works: 31 works in 108 publications in 1 language and 690 library holdings
Genres: Conference papers and proceedings  Software 
Roles: Author, Editor, Author of introduction, Other
Classifications: QA76.73.P76, 005.133
Publication Timeline
.
Most widely held works about David H. D Warren
 
Most widely held works by David H. D Warren
Logic programming and its applications( Book )

8 editions published between 1986 and 1995 in English and held by 380 WorldCat member libraries worldwide

Logic programming : proceedings of the seventh international conference( Book )

10 editions published in 1990 in English and held by 155 WorldCat member libraries worldwide

The art of Prolog : advanced programming techniques by Leon Sterling( Book )

14 editions published between 1986 and 2010 in English and held by 27 WorldCat member libraries worldwide

This second edition contains revised chapters taking into account recent research advances. More advanced exercises have been included, and "Part II The Prolog Language" has been modified to be compatible with the new Prolog standard. This is a graduate level text that can be used for self-study
Applied logic : its use and implementation as a programming tool by David H. D Warren( Book )

8 editions published between 1977 and 1983 in English and Undetermined and held by 13 WorldCat member libraries worldwide

The first Part of the thesis explains from first principles the concept of "logic programming" and its practical application in the programming language Prolog. Prolog is a simple but powerful language which encourages rapid, error-free programming and clear, readable, concise programs. The basic computational mechanism is a pattern matching process ("unification") operating on general record structures ("terms" of logic). IThe ideas are illustrated by describing in detail one sizable Prolog program which implements a simple compiler. The advantages and practicability of using Prolog for "real" compiler implementation are discussed. The second Part of the thesis describes techniques for implementing Prolog efficiently. In particular it is shown how to compile the patterns involved in the matching process into instructions of a low-level language. This idea has actually been implemented in a compiler (written in Prolog) from Prolog to DECsystem-10 assembly language. However the principles involved are explained more abstractly in terms of a "Prolog Machine". The code generated is comparable in speed with that produced by existing DEC10 Lisp compilers. Comparison is possible since pure Lisp can be viewed as a (rather restricted) subset of Prolog. It is argued that structured data objects, such as lists and trees, can be manipulated by pattern matching using a "structure 'sharing" representation as efficiently as by conventional selector and constructor functions operating on linked records in "heap" storage. Moreover the pattern matching formulation actually helps the implementor to produce a better implementation
Logic programming and compiler writing by David H. D Warren( Book )

6 editions published between 1977 and 1980 in English and Undetermined and held by 11 WorldCat member libraries worldwide

An improved Prolog implementation which optimises tail recursion by David H. D Warren( Book )

2 editions published in 1980 in English and held by 9 WorldCat member libraries worldwide

Definite clause grammars compared with augmented transition networks by Fernando C. N Pereira( Book )

6 editions published between 1978 and 1979 in English and Undetermined and held by 8 WorldCat member libraries worldwide

Prolog on the DEC-system-10 by David H. D Warren( Book )

3 editions published between 1979 and 1990 in English and held by 8 WorldCat member libraries worldwide

Implementing prolog : compiling predicate logic programs by David H. D Warren( Book )

7 editions published in 1977 in English and Undetermined and held by 8 WorldCat member libraries worldwide

An efficient easily adaptable system for interpreting natural language queries by David H. D Warren( Book )

3 editions published in 1981 in English and held by 8 WorldCat member libraries worldwide

Higher-order extensions to Prolog : are they needed? by David H. D Warren( Book )

4 editions published between 1981 and 1990 in English and Undetermined and held by 7 WorldCat member libraries worldwide

Efficient processing of interactive relational database queries expressed in logic by David H. D Warren( Book )

1 edition published in 1981 in English and held by 6 WorldCat member libraries worldwide

User's guide to DECsystem-10 Prolog by Luís Moniz Pereira( Book )

4 editions published between 1978 and 1979 in English and Undetermined and held by 5 WorldCat member libraries worldwide

Warplan: a system for generating plans by David H. D Warren( Book )

6 editions published in 1974 in English and Undetermined and held by 5 WorldCat member libraries worldwide

Implementing PROLOG : Compiling predicate logic programs by David H. D Warren( Book )

4 editions published in 1977 in English and held by 5 WorldCat member libraries worldwide

Implementing PROLOG : Compiling predicate logic programs by David H. D Warren( Book )

4 editions published in 1977 in English and held by 5 WorldCat member libraries worldwide

An abstract prolog instruction set by David H. D Warren( Book )

2 editions published in 1983 in English and held by 5 WorldCat member libraries worldwide

A view of the fifth generation and its impact by David H. D Warren( Book )

1 edition published in 1982 in English and held by 4 WorldCat member libraries worldwide

Parsing as deduction by Fernando C. N Pereira( Book )

1 edition published in 1983 in English and held by 3 WorldCat member libraries worldwide

By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained that encompasses parsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses. The efficiency of this approach for an interesting class of grammars is discussed
Or-parallel execution models of Prolog by David H. D Warren( Book )

2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.60 (from 0.17 for Compiling ... to 0.91 for Warplan: a ...)

The art of Prolog : advanced programming techniques
Alternative Names
David H. D. Warren britischer Informatiker

David H. D. Warren britisk ingeniør og informatikar

David H. D. Warren britisk ingeniør og informatiker

David H. D. Warren Brits informaticus

David H. D. Warren brittisk ingenjör och datavetare

David H. D. Warren informaticien britannique

David H. D. Warren informático teórico del Reino Unido

دیوید اچ. دی وارن دانشمند علوم کامپیوتر و مهندس بریتانیایی

Languages
English (91)

Covers