The Implementation of Prolog

The Implementation of Prolog

Patrice Boizumault / Ara M. Djamboulian / Ara MDjamboulian / Jamal Fattouh

88,48 €
IVA incluido
Disponible
Editorial:
Princeton University Press
Año de edición:
2014
ISBN:
9780691609393
88,48 €
IVA incluido
Disponible
Añadir a favoritos

A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive experience in Prolog implementation to describe for students of all levels the concepts, difficulties, and design limits of a Prolog system.Boizumault introduces the specific problems posed by the implementation of Prolog, studies and compares different solutions--notably those of the schools of Marseilles and Edinburgh--and concludes with three examples of implementation. Major points of interest include identifying the important differences in implementing unification and resolution; presenting three features of Prolog II--infinite trees, dif, and freeze--that introduce constraints; thoroughly describing Warren’s Abstract Machine (WAM); and detailing a Lisp imple-mentation of Prolog.Originally published in 1993.The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Artículos relacionados

  • Nonlinear Optimization
    William P. Fox
    The study of nonlinear optimization is both fundamental and a key course for applied mathematics, operations research, management science, industrial engineering, and economics at most colleges and universities. ...
    Disponible

    99,51 €

  • Optimization Modelling Using R
    Timothy R. Anderson
    This book covers using R for doing optimization, a key area of operations research, which has been applied to virtually every industry. The focus is on linear and mixed integer optimization. It uses an algebraic modeling approach for creating formulations that pairs naturally with an algebraic implementation in R. ...
    Disponible

    100,06 €

  • Mathematical Introduction to Linear Programming and Game Theory
    Louis Brickman
    Mathematical elegance is a constant theme in this treatment of linear programming and matrix games. Condensed tableau, minimal in size and notation, are employed for the simplex algorithm. In the context of these tableau the beautiful termination theorem of R.G. Bland is proven more simply than heretofore, and the important duality theorem becomes alm...
    Disponible

    65,62 €

  • Degeneracy Graphs and the Neighbourhood Problem
    H. -J Kruse
    A few years ago nobody would have anticipated that in connection with degeneracy in Linear Programming quite a new field. could originate. In 1976 a very simple question has been posed: in the case an extreme­ pOint (EP) of a polytope is degenerate and the task is to find all neighbouring EP’s of the degenerate EP, is it necessary to determine all bas...
    Disponible

    66,99 €

  • Approaches to the Theory of Optimization
    J. P. Ponstein / JPPonstein
    ...
    Disponible

    58,16 €

  • DECOMP
    James K. Ho / Rangaraja P. Sundarraj
    For linear optimization models that can be formulated as linear programs with the block-angular structure, i.e. independent subproblems with coupling constraints, the Dantzig-Wolfe decomposition principle provides an elegant framework of solution algorithms as well as economic interpretation. This monograph is the complete documentation of DECOMP: a r...
    Disponible

    67,79 €

Otros libros del autor

  • The Implementation of Prolog
    Patrice Boizumault / Ara M. Djamboulian / Ara MDjamboulian / Jamal Fattouh
    A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive experience in Prolog implementa...
    Disponible

    222,70 €