Control Structures in Prolog
Control Structures in Prolog
Artificial Intelligence
Ch: 5 Introduction to
Control Structures
Prolog
3 Common Types
• AND (,)
• OR (;)
• IF-THEN (->)
• IF-THEN-ELSE (-> ;)
AND Operator (,)
Purpose Example
Both conditions must be true for likes(john, pizza),
success.
likes(john, pasta).
Behavior
Succeeds only if both goals are true. Executes left to right.
OR Operator (;)
Purpose
At least one condition must be true.
Example
likes(john, pizza); likes(john, pasta).
Behavior
Succeeds if either goal is true. Tries left goal first.
IF-THEN Operator (->)
Condition
Check if condition is true.
Evaluation
Process the logical test.
Execution
Run code only if condition passes.
IF-THEN Example
Condition Operator
is_raining ->
Path Selection
Choose between two execution paths.
Execution
Run either the "then" or "else" branch.
IF-THEN-ELSE Example
1 Condition
is_raining
2 If True
take_umbrella
3 If False
go_out
4 Full Example
(is_raining -> take_umbrella ; go_out)
Practical Applications
Complex Decision Trees
Build sophisticated logical flows.
Knowledge Representation
Model complex relationships and rules.
Basic Operators
AND (,) for multiple conditions. OR (;) for alternatives.
Conditional Logic
IF-THEN (->) adds conditions. IF-THEN-ELSE (-> ;) adds fallbacks.