An Advanced Logic Programming Language, Volume 1
Anthony Dodd, Tony Dodd
Intellect, 1990 - Computers - 392 pages
This guide consists of a number of tutorials that provide detailed, comprehensive coverage of different aspects of Prolog in general, and Prolog-2 in particular. The first two thirds of the book covers facilities that exist in most DEC-10 style implementations which will in all likelihood form a major part of the forthcoming standard definition of the language. The remaining chapters deal wth the details of Prolog-2 in different environments.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Prolog2 as a logic programming language
The Syntax of Prolog2
27 other sections not shown
Other editions - View all
allows arity array ASCII atom BIPs buffer built-in predicates byte Chapter character character class command contains create Current Input cursor database debug declarations DECsystem-10 default directory defined delete displayed edit region error message evaluate example execution external code function filespec flle format Fortran function keys functor goal handler handles hash help system INI file input arguments instantiated integer interface functions invoked itseIf keys library module Lint Checker loaded memory menu system MNU file mouse node notepad null operator options output arguments parameters Pascal passed pointer predicate Prolog interpreter Prolog systems Prolog-2 Encyclopaedia PROLOG2.MNU prompt query readwrite real number routines running screen source file special stream specified startup string subprocess SunView supplied switched syntax system directory system editor Tail Recursion term terminated token top-level interpreter UNIX VAX/VMS viewport virtual memory window write