In general, a rule has a form that looks something like this: The last four lines are examples of rules: Symbols and these four lines denote four facts in the knowledge As far as Prolog is concerned, it is simply manipulating This information is up to the person designing the knowledge

Might interpret elephant(fred) as 'Fred is an elephant' and That is, they make simple assertions about the world. The first four lines are examples of facts: Prolog programs are collections of facts and rules. In the program panel on the left-hand side of the window, enter the The panel on the bottom right will be used to enter Prolog The panel on the left will be used to enter the Prolog programs you will write: You should then see a webpage that looks like this: In the left-hand panel, click on the Program button to create a program panel. Visit this link in your favourite web browser to run an online versionĪfter Prolog start up, you should see a webpage that looks like this: These ideas are important for other topics we will explore in the course, Rules that can then be easily used to answer queries. Specifying knowledge in the form of facts and Representation and reasoning: Prolog provides a simple method of Our main interest in Prolog has to do with knowledge History (going back to the 1970s) of being used for artificial intelligenceĪpplications. Prolog is a logic programming language that has a long

If you would like to install a version of Prolog on your own computer, try SWI-Prolog, which is the same version of Prolog that is running in the web-based tool, and follow the rest of the This version has a (somewhat) intuitive user interfacde with an integrated editor so you don't need to install anything on your own computer. We will be using an online version of SWI-Prolog You should then attempt to answer the questions on this week's Activity Sheet. This week we'll work though a short tutorial about Prolog. F29AI - Week 3 - A very brief introduction to Prolog F29AI - Week 3 - A very brief introduction to Prolog

Swi prolog org