Scribd
Upload
76 views

Prolog Example 1

This document provides an example to demonstrate basic prolog concepts using food-related facts and rules. It defines facts stating that burger, sandwich, and pizza are foods. It also defines that sandwich is a lunch and pizza is a dinner. A rule states that anything is a meal if it is a food. Queries are asked such as whether pizza is a food (true) and what food is both a meal and lunch (sandwich). The document explains how prolog searches through facts and rules to answer queries.

Uploaded by

Haddad Sammir
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
76 views

Prolog Example 1

This document provides an example to demonstrate basic prolog concepts using food-related facts and rules. It defines facts stating that burger, sandwich, and pizza are foods. It also defines that sandwich is a lunch and pizza is a dinner. A rule states that anything is a meal if it is a food. Queries are asked such as whether pizza is a food (true) and what food is both a meal and lunch (sandwich). The document explains how prolog searches through facts and rules to answer queries.

Uploaded by

Haddad Sammir
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Example -1 : Food

Let's start with a simple example to understand the terminologies. We will provide Facts
and Rules to the prolog system and then we will ask queries and we will see what prolog
interpreter returns as an answer and why.

Facts English meanings of Facts, Rules & Goals


food(burger). // burger is a food
food(sandwich). // sandwich is a food
food(pizza). // pizza is a food
lunch(sandwich). // sandwich is a lunch
dinner(pizza). // pizza is a dinner

Rules
meal(X) :- food(X). // Every food is a meal OR
Anything is a meal if it is a food

Queries / Goals & answers


?- food(pizza). // Is pizza a food?
true. Answer : true

Explanation : Here prolog will return 'true or yes'.


Because first, prolog interpreter will trace through
the facts and rules in top-down manner and when it
can find the match it will provide the answer and in
this case it can find the exact match.

?- meal(X), lunch(X). // Which food is meal and lunch? OR


X = sandwich. What is both meal and lunch?
Answer : X = sandwich.

Explanation : Here in this query we have provided


two subgoals where "," comma means 'and'. Prolog
always tries to satisfy subgoals in left-to-right
manner, so first try to get left most goal i.e.
meal(X). But meal(X) rule says - X is a meal if X is
a food. So, now we will look for food(X). Here X is
a variable and it can bound with any related value.
So, in food(X) - X can be burger, sandwich or pizza
as per our facts. But second goal says that X should
also be lunch. Now we look for X value in lunch(X)
and i.e. sandwich. So now we find which food(X)
values matches with lunch(X) and the answer is

Vishma Shah © 2015 CSUS


sandwich.
You can learn more about these kind of search
process queries in Conjunction & backtracking.

?- dinner(sandwich). // Is sandwich a dinner?


false. Answer : false.

Explanation : In this case prolog will find the


'dinner' predicate and will match the argument
inside the bracket. But it will return 'false or no'
since it cannot find the match.

Vishma Shah © 2015 CSUS

You might also like