background preloader

Prolog

Facebook Twitter

Poplog

Learn Prolog - Aprender Prolog. Introduction to Prolog. Schedule (Summer Semester, 1999) Di, Mi 16 c.t. Ort: SUN-Raum (SfS Rm. 109) Lab/Übung: Di 14 (SfS Rm. 109) Meeting times are subject to change within the first couple of weeks: Watch this page for changes to the meeting times! Coursenotes (Revised 9.3.98 -- The HTML versions are more up to date (meaning also freer of mistakes), but they do not cover all the material that is in the old postscript version.) Chapters in HTML The HTML versions of the course notes depend at several points on your browser being able to load the Symbol font. Homeworks General Instructions: Please submit your homeworks to me by email at cornell@sfs.nphil.uni-tuebingen.de .

Extras Links Some On-Line Tutorial Material I have not gone through these sites in any detail, but they may help. For the Adventurous Warren's Abstract Machine: A Tutorial Reconstruction. Last modified April 8, 1999. SEM242 Introduction. SEM242 - Prolog and Logic Programming This course is supported by World-Wide Web documents. These notes originated from the School of Computer Science in the University of Birmingham, United Kingdom. More precisely, they were written by Peter Hancox mainly in the early hours of the morning at home in the edge of Worcestershire in the English midlands. These notes are publically accessible and we know they are used by students learning at other universities. If you are a tutor and want to use these notes for group teaching, please ask for a copy rather than using our World-Wide Web server. These notes will be greatly improved if you report the errors that are bound to creep into teaching material like this.

The set of documents includes: These Pages are maintained by Dr Peter Hancox. Guide to Prolog Programming. Welcome to On-line Guide to Prolog Programming designed and maintained by Roman Barták. I opened this site as a contribution to evolving area of logic programming languages and PROLOG in particular. I intend it to be an introduction to logic programming and PROLOG for beginners but I also expect to cover some advanced topics. It's not meant as an unclassified collection of links to other pages although I also include some interesting links here. This is a second edition of former Interactive Prolog Guide that brings new design and better organization of chapters.

It is also more "interactive" as I include Test Zone where you can try and test your Prolog programs interactively within your Java-capable web browser. If you want to know more about the author of the site, you are welcomed to my Home Page. So, where should you go from there? Table of Contents Are you new to the guide or just want to refresh some knowledge? How to navigate through the site? Acknowledgments.

Prolog and the Web

Prolog math. Datalog. Prolog. Learn prolog now. Prolog Cafe: A Prolog to Java Translator System. June 2009 Kobe University, JAPAN Prolog Cafe is a Prolog-to-Java source-to-source translator system. Prolog programs are first translated into Java programs via the WAM (Warren Abstract Machine), and then those programs are compiled by a usual Java compiler such as SUN's JDK SE. Prolog Cafe has the advantages of portability, extensibility, and smooth interoperation with Java. What's New 2009-06-24: Prolog Cafe version 1.2.5 is released. 2008-10-29: Prolog Cafe version 1.2.4 is released. 2008-07-09: Prolog Cafe version 1.1.11 is released. 2008-06-30: Prolog Cafe version 1.1.10 is released. 2008-06-30: Link collection for Prolog in Java is added. 2008-04-30: Prolog Cafe version 1.0.11 is released. Features Main features of Prolog Cafe are as follows: Requirements Prolog Cafe runs on any platform that supports Java. JavaTM 1.5 or higher Download Documents Japanese Documents (日本語) PrologからJavaへのトランスレータ処理系とその応用[PDF] 番原睦則,田村直之,井上克己 コンピュータソフトウェア(日本ソフトウェア科学会),Vol.24, No.3 (2007), pp.75-86 田村直之,番原睦則 Ackn.

Uses of Prolog (Usos de Prolog)

Prolog Tutorial -- Contents. SourceCodeViewer: prolog.parser.php.