SICStus Prolog


SICStus Prolog download


Direct Download SICStus Prolog
SICStus Prolog High Speed
Search results 21 Articles (Search results 1 - 10) :
Programming in Prolog: Using the ISO Standard, 5th Edition
15 July 2010

Programming in Prolog: Using the ISO Standard, 5th Edition
Programming in Prolog: Using the ISO Standard, 5th Edition
Publisher: Springer | 2003 | PDF | 293 pages | ISBN: 3540006788 | 9.8Mb

Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete.
From Logic Programming to Prolog
14 May 2011

From Logic Programming to Prolog

From Logic Programming to Prolog

1996 | 345 | ISBN: 013230368X | PDF | 1 Mb

A unique publication that provides an introduction to the theory of logic programming and its application to Prolog programs. Covers programming issues such as termination, occur-check freedom, partial correctness and absence of runtime errors. ...
VA - Prolog (2012)
2 February 2012

VA - Prolog (2012)

VA - Prolog (2012)
Label: Lochmann Records
Genre: Electronic, House
Format: Mp3
Quality: CBR 320 kbps
Total Time: 54:52 min
Total Size: 132 mb
Artificial Intelligence, Lisp, Scheme and Prolog e-Book Collection
9 October 2012

Artificial Intelligence, Lisp, Scheme and Prolog e-Book Collection

Artificial Intelligence, Lisp, Scheme and Prolog e-Book Collection
English | PDF | Ebooks Collection | All In One | 1.44 GB

This collection is for anyone who is intreasted in AI not just scheme, lisp and prolog programmers, it happens to include some books on learning those languages due to there reputation and slant on AI they have. Hope you enjoy.
Prolog Programming for Artificial Intelligence
9 January 2011

Prolog Programming for Artificial Intelligence

Prolog Programming for Artificial Intelligence
Publisher: Addison Wesley | ISBN: 0201403757 | edition 2000 | PDF | 704 pages | 19,9 mb

This best-selling guide to Prolog has been fully revised and extended to provide an even greater range of applications, enhancing its value as a stand-alone guide to Prolog, artificial intelligence, or AI programming. Ivan Bratko discusses natural language processing with grammar rules, planning, and machine learning. The coverage of meta-programming includes meta-interpreters and object-oriented programming in Prolog. The new edition includes coverage of: constraint logic programming; qualitative reasoning; inductive logic programming; recently developed algorithms; belief networks for handling uncertainty; and a major update on machine learning. This book is aimed at programmers who need to learn AI programming.
Advanced Prolog: Techniques and Examples
7 January 2011

Advanced Prolog: Techniques and Examples

Advanced Prolog: Techniques and Examples

1989 | 304 | ISBN: 0201175274 | DJVU | 2 Mb

Prolog has been in use for many years now, both for research in artificial intelligence (AI) and other fields and for commercial and industrial work. Recently interest in it has swelled dramatically, in part because of its role in the Japanese Fifth Generation project and in part because good implementations are becoming widely available. Special-purpose Prolog workstations such as the Japanese Personal Sequential Inference (PSI) machine are beginning to appear, and some mainframe manufacturers are producing Prolog accelerators for their machines. Nevertheless it remains a difficult language to learn; the gap between acquiring a reading knowledge and a writing knowledge of it is much wider than in almost any other programming language currently in use. From my own experience of teaching a postgraduate course in it for the past few years, it is clear that those who have considerable experience of more conventional languages such as Pascal or FORTRAN are handicapped by their instincts - they still thirst after 'for' loops and 'while' loops, type declarations and assignment statements and the many other features common to most languages. Many go so far as to try, elaborately and usually unsuccessfully, to recreate these features in Prolog rather than make the effort to explore the different idioms that it encourages. ...
Artificial Intelligence LISP Prolog
10 June 2012

Artificial Intelligence LISP Prolog

Artificial Intelligence LISP Prolog
Language: English | 137 books | PDF | 853 MB

Bayesian networks :
Dynamic Bayesian Networks Representation, Inference And Learning - Kevin Patrick Murphy
Learning Bayesian Networks - Neapolitan R. E.
computer vision :
Computer Modeling and Simulation Techniques for Computer Vision Problems - Ming-Chin Lu
Computer Vision - Linda Shapiro
Computer Vision 2d ed - Dand h Ballard
Computer Vision A Modern Approach - Forsyth , Ponce
Artificial Intelligence, Lisp, Scheme and Prolog eBook Collection
10 August 2012

Artificial Intelligence, Lisp, Scheme and Prolog eBook Collection
Artificial Intelligence, Lisp, Scheme and Prolog eBook Collection
English | PDF | Collection | 1.44 Gb
How to Use a Computerized Telescope: Practical Amateur Astronomy Volume 1
3 April 2011

How to Use a Computerized Telescope: Practical Amateur Astronomy Volume 1

How to Use a Computerized Telescope: Practical Amateur Astronomy Volume 1 by Michael A. Covington

Cambridge University Press | 2002 | ISBN: 0521007909 | 240 pages | PDF | 10 MB

How to Use a Computerized Telescope describes how to get a computerized telescope up-and-running, and how to embark on a program of observation. Michael Covington explains in detail how the sky moves, how a telescope tracks it, and how to get the most out of any computerized telescope. Packed full of practical advice and tips for troubleshooting, his book gives detailed instructions for three popular telescopes: the MeadeŽ LX200, Celestron^DCC NexStar 5 and 8, and MeadeŽ Autostar^DTM (ETX and LX90). Michael A. Covington is an associate research scientist at the University of Georgia. He is a computational linguist trained in the computer processing of human language and the computer modeling of human logical reasoning, and a widely recognized expert on the Prolog programming language. He is the author of nine books including Dictionary of Computer and Internet Terms, Seventh Edition (Barron's, 2000), Astrophotography for the Amateur (Cambridge, 1999), PROLOG Programming in Depth (Simon & Schuster, 1996), Cambridge Eclipse Photography Guide (1993), and Syntactic Theory in the High Middle Ages (Cambridge, 1985). A senior member of the Institute of Electrical and Electronics Engineers, Covington is a Contributing Editor to, and former "Q&A" columnist of, Poptronics magazine.
HEBREW On DVD [A Complete Self-Study Course] (2006)'
23 September 2011

HEBREW On DVD [A Complete Self-Study Course] (2006)'
HEBREW On DVD [A Complete Self-Study Course] 2006
DVD5 3 DVD Set | MPEG2 @ 6.5 Mbit/s | 720x576 | PCM Stereo @ 1536 Kbit/s 48 KHz | 8.21 GB
Genre: Learn Hebrew, Education, Instructional | Label: Prolog Publishing | Language: English
| Subtitle: English, Deutsch, Espanol, Francais, ???????