CSSE 490: Logic: Week 10

Day Topics Readings/Assignments
Day 37

Lists and list processing in PROLOG.
Code studied and developed in class.
Implement reverse(List, ReversedList) and flatten(NestedList, FlatList). Submit your solution to the appropriate drop-box on Angel, by class on day 38.
Day 38

Soundness of FOL, Part II
Backtracking in PROLOG
Controlling backtracking through the cut
Revised factorial
Implement the relation intersection which takes three parameters. The first two are non-nested lists and the third contains those element which appear in both lists. Submit your code to the appropriate drop-box on Angel on day 39, BC.
Day 39

Soundness of FOL, Part III
PROLOG
Complete the following assignment and submit it to the appropriate drop-box on Angel. This is the last assignment. It is due Friday, November 14th at 5pm, with a four day grace period.

18.7: 1,3,5
18.8: 1,2,3,7,11
18.9
18.10
18.14
18.16
18.18
Day 40

No class today. I am out of town to attend a conference.

Day	Topics	Readings/Assignments
Day 37	Lists and list processing in PROLOG. Code studied and developed in class.	Implement `reverse(List, ReversedList)` and `flatten(NestedList, FlatList)`. Submit your solution to the appropriate drop-box on Angel, by class on day 38.
Day 38	Soundness of FOL, Part II Backtracking in PROLOG Controlling backtracking through the cut Revised factorial	Implement the relation `intersection` which takes three parameters. The first two are non-nested lists and the third contains those element which appear in both lists. Submit your code to the appropriate drop-box on Angel on day 39, BC.
Day 39	Soundness of FOL, Part III PROLOG	Complete the following assignment and submit it to the appropriate drop-box on Angel. This is the last assignment. It is due Friday, November 14th at 5pm, with a four day grace period. 18.7: 1,3,5 18.8: 1,2,3,7,11 18.9 18.10 18.14 18.16 18.18
Day 40	No class today. I am out of town to attend a conference.