An Introduction to Prolog III [chapter]

Alain Colmerauer
<span title="">1990</span> <i title="Springer Berlin Heidelberg"> Computational Logic </i> &nbsp;
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.
more &raquo; ... e central innovation is to replace the concept of unification by the concept of constraint solving.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-76274-1_2">doi:10.1007/978-3-642-76274-1_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ggum3rtfmnh4tmwi2lqywjxrmq">fatcat:ggum3rtfmnh4tmwi2lqywjxrmq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809072914/http://pageperso.lif.univ-mrs.fr/~alain.colmerauer/ArchivesPublications/PrologIII/acmprolog3e.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/10/64/10642d9cc58de426a1bd0dc27c7a5704b3efc28c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-76274-1_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>