WorldCat Identities

Warren, David H. D.

Overview
Works: 37 works in 79 publications in 1 language and 654 library holdings
Genres: Conference proceedings  Software 
Roles: Editor, Author of introduction, Dedicatee
Classifications: QA76.73.P76, 005.133
Publication Timeline
Key
Publications about  David H. D Warren Publications about David H. D Warren
Publications by  David H. D Warren Publications by David H. D Warren
Most widely held works about David H. D Warren
 
Most widely held works by David H. D Warren
Logic programming and its applications ( Book )
7 editions published between 1986 and 1995 in English and held by 390 WorldCat member libraries worldwide
Logic programming : proceedings of the seventh international conference ( Book )
4 editions published in 1990 in English and held by 144 WorldCat member libraries worldwide
The art of Prolog : advanced programming techniques by Leon Sterling ( Book )
9 editions published between 1986 and 2010 in English and held by 18 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
An improved Prolog implementation which optimises tail recursion by David H. D Warren ( Book )
2 editions published in 1980 in English and held by 8 WorldCat member libraries worldwide
Logic programming and compiler writing by David H. D Warren ( Book )
4 editions published between 1977 and 1980 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 7 WorldCat member libraries worldwide
Prolog on the DEC-system-10 by David H. D Warren ( Book )
2 editions published in 1979 in English and held by 6 WorldCat member libraries worldwide
Applied logic : its use and implementation as a programming tool by David H. D Warren ( Book )
2 editions published in 1983 in English and held by 5 WorldCat member libraries worldwide
Applied Logic: its use and implementation as a programming tool by David H. D Warren ( Book )
4 editions published between 1977 and 1978 in English and Undetermined and held by 5 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
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 5 WorldCat member libraries worldwide
Implementing prolog : compiling predicate logic programs by David H. D Warren ( Book )
3 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 )
3 editions published in 1977 in English and held by 4 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
Definite clause grammars compared with augmented transition networks by Fernando C. N Pereira ( Book )
4 editions published between 1978 and 1979 in English and Undetermined and held by 4 WorldCat member libraries worldwide
Higher-order extensions to Prolog : are they needed? by David H. D Warren ( Book )
2 editions published in 1981 in Undetermined and English and held by 4 WorldCat member libraries worldwide
Implementing PROLOG : Compiling predicate logic programs by David H. D Warren ( Book )
4 editions published in 1977 in English and Undetermined and held by 4 WorldCat member libraries worldwide
An abstract prolog instruction set by David H. D Warren ( Book )
1 edition published in 1983 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
User's guide to DECsystem-10 Prolog by Luís Moniz Pereira ( Book )
2 editions published between 1978 and 1979 in Undetermined and English and held by 3 WorldCat member libraries worldwide
MIT Press series in logic programming proceedings of the seventh international conference by International Conference on Logic Programming ( Book )
1 edition published in 1990 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.71 (from 0.47 for Applied lo ... to 1.00 for An impleme ...)
Languages
English (56)
Covers