Ulteriori informazioni
This is a reference manual on the ISO international standard of the programming language PROLOG. PROLOG was the first logic programming language and is used in many areas in industry, such as computer aided design and manufacturing, software engineering, multumedia and documentation, AI systems and databases (expert systems, knowledge bases, man-machine interfaces, natural language analysis), and application fields like transportation, telecommunications, and banking. Moreover, it is the kernel language of many emerging logic programming languages which support constraints, functions and concurrency. The book gives a comprehensible full desription of the standardized language together with an executable specification. It enables system developers, application programmers and PROLOG users to work with any standard conforming processor.
Sommario
1. Introduction.- 2. Prolog Data Structures.- 2.1 Terms.- 2.2 Some particular terms.- 3. Prolog Unification.- 3.1 Substitutions.- 3.2 Unifiers.- 3.3 The definition of the unification in Standard Prolog.- 4. Prolog Execution Model.- 4.1 Database and environment.- 4.2 The execution model for definite Prolog.- 4.3 The execution model for Standard Prolog.- 4.4 Additional error situations.- 4.5 The side-effects of cut.- 5. The Built-in Predicates.- 5.1 Presentation.- 5.2 Templates.- 5.3 The built-in predicates.- 6. Prolog Arithmetic.- 6.1 Arithmetic expressions.- 6.2 Expression evaluation.- 7. Prolog Environment: Sources and Sinks.- 7.1 Overview.- 7.2 Streams in Standard Prolog.- 7.3 Properties of the streams.- 7.4 Inputting and outputting terms.- 8. Prolog Flags and Directives.- 8.1 Unchangeable flags.- 8.2 Changeable flags.- 8.3 Directives for initialising flags and tables.- 8.4 Directives for preparation of Prolog texts and goals.- 9. Prolog Syntax.- 9.1 Character sets and character conversion table.- 9.2 Expression and operator table.- 9.3 Presentation of the syntax.- 9.4 Syntax of Prolog text.- 9.5 Syntax of read-term.- 9.6 Syntax errors.- 10. Writing Portable Programs.- 10.1 Unification.- 10.2 The database update view.- 11. Annexes.- 11.1 Compliance.- 11.2 The ftp package.- 11.3 Elements of lexical analysis.- 11.4 ASCII table.- 11.5 Glossary of auxiliary concepts.- Thematic classification of the built-in predicates.
