Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

Object (board) ∧ Writes-on ( X, board, Time ) ∧ Teacher (X)
→Equal (Time, classhour).
2. A Teacher is a person who writes on a board during classhour.
In Predicate Logic, the above sentence is written as
∀ X ( Person(X) ∧ Writes-on (X, board, classhour) → Teacher (X) )
3. A student is a person who sits on a bench during classhour.
In Predicate Logic, the above sentence can be written as
∀Y ( Person (Y) ∧ Sits-on (Y, bench, Time) ∧ Equal (Time, classhour) →
Student (Y) )
4. If at least one person sits on a bench in classhour and a second person
writes on the board at the same time then time = classhour.
In Predicate Logic, the above expression can be described by
∃ Y ( ( Person (Y) ∧ Sits-on (Y, bench, classhour )) ∧
∃ X (Person (X) ∧ Writes-on (X, board, Time)) → Equal (Time, classhour) )
The above 4 statements can be written in PROLOG language as follows:
1. Equal (Time, classhour) :-
Object (board),
Writes-on (X, board, Time),
Teacher (X).
2. Teacher (X) :-
Person (X),
Writes-on (X, board, classhour).
3. Student (Y) :-
Person (Y),
Sits-on (Y, bench, Time),
Equal (Time, classhour).
4. Equal (Time, classhour) :-
Person (Y),