Prolog Tutorial SWI

Prolog Tutorial SWI - Getting Started with SWI-Prolog Libby...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Libby Shoop We have SWI-Prolog installed on the linux lab machines. It is one of many different prolog interpreters that are out there. Each one may have a slightly different syntax for the language, so it gets difficult when you are looking at examples on the web. A manual for this prolog interpreter can be found here on the linux machines: /usr/MathApps/SWIprolog/ReferenceManual.pdf This is a relatively large manual (225 pages) with not much information for a novice. I definitely DO NOT recommend printing it out. You can look at the section about getting started, but I repeat most of that below in this document. So go through this first -try the examples that I show below so that you can get a feel for what using this system is like. It should help you a lot before you get to your assignment. Example prolog code files I have placed a few example prolog files on the course folder, in a sub directory called prolog_examples. I show running a few of them below. Useful links First try the examples in the rest of this file. Then you might want to refer to some of these things that I found on the web. A Prolog Course by Paul Brna . I recommend that you go through parts of this one. Useful Features (See 12.1.7, Relational Operators) Examples from Saint Vincent College Examples from Mihaela Malita , including some interesting arithmetic, games, set membership, and others. Graphs and parsing examples.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 4

Prolog Tutorial SWI - Getting Started with SWI-Prolog Libby...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online