Αποτελέσματα Αναζήτησης
These lecture notes introduce the declarative programming language Prolog. The em-phasis is on learning how to program, rather than on the theory of logic programming. Nevertheless, a short chapter on the logic foundations of Prolog is included as well.
25 Μαΐ 2010 · Tuple term construction with the ,/2 operator is generally right-associative in PROLOG (typically referred to as a sequence), so your input of a, b(c), d(e(f)), g might well actually be the term (a, (b(c), (d(e(f)), g))).
Prolog is a high-level logic programming language (PROgramming in LOGic); Good at pattern matching (by unification) and searching; Not very good for repetitive number crunching;
Since the previous edition of Programming in Prolog, the Prolog language has been standardised by the International Standards Organisation (ISO). Although not all Prolog systems conform to the new standard, the authors felt it was necessary to update this book in accordance with the standard.
Authors’ manuscript 693 ppid September 9, 1995 Prolog Programming in Depth Contents I The Prolog Language 9 1 Introducing Prolog 1 1.1 The Idea of Prolog: 1 1.2 How Prolog Works: 2 1.3 Varieties of Prolog: 4 1.4 A Practical Knowledge Base: 4 1.5 Unification and Variable Instantiation: 9 1.6 Backtracking: 10 1.7 Prolog Syntax: 14 1.8 ...
Programming in Prolog: using the ISO standard/W.F. Clocksin, C.S. Mellish.--5th ed. p.cm. Includes bibliographical references and index. ISBN 978-3-540-00678-7 (alk.paper)
10 Μαρ 1994 · The Art of Prolog, second edition: Advanced Programming Techniques. Leon S. Sterling, Ehud Y. Shapiro. MIT Press, Mar 10, 1994 - Computers - 552 pages. This new edition of The Art of Prolog...
