
PROLOG
Logic Programming Language, Algebraic Logic Functional Programming Language, Alice (programming language)
Betascript Publishing
Published on 27. March 2026
Book
Paperback/Softback
92 pages
978-613-3-27035-0 (ISBN)
Description
Please note that the content of this book primarily consists of articles
available from Wikipedia or other free sources online. ¿Prolog, also
written lambda Prolog, is a logic programming language featuring
polymorphic typing, modular programming, and higher-order programming.
These extensions to Prolog are derived from the higher-order hereditary
Harrop formulas used to justify the foundations of ¿Prolog. Higher-order
quantification, simply typed ¿-terms, and higher-order unification gives
¿Prolog the basic supports needed to capture higher-order abstract
syntax, an approach to representing syntax that maps object-level
bindings to programming language bindings. Programmers in ¿Prolog need
not deal with bound variable names: instead various declarative devices
are available to deal with binder scopes and their instantiations. Since
1986, ¿Prolog has received numerous implementations.
More details
Language
English
Place of publication
Germany
Product notice
Paperback (trade)
Unsewn / adhesive bound
Dimensions
Height: 220 mm
Width: 150 mm
Thickness: 6 mm
Weight
155 gr
ISBN-13
978-613-3-27035-0 (9786133270350)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification