A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
An Introduction to Prolog III
[chapter]
1990
Computational Logic
Preserved Fulltext
The Prolog III programming language extends Prolog by redefining the fundamental process at its heart : unification. Into this mechanism, Prolog III integrates refined processing of trees and lists, number processing, and processing of two-valued Boolean algebra. We present the specification of this new language and illustrate its capabilities by means of varied examples. We also present the theoretical foundations of Prolog III, which in fact apply to a whole family of programming languages.
doi:10.1007/978-3-642-76274-1_2
fatcat:ggum3rtfmnh4tmwi2lqywjxrmq