Homework assignments will be posted here as they become available.
Final exam review: Exam is closed book. You may bring 3 sheets (6 sides) of your handwritten notes to use for reference.
The final exam is cumulative. Any material that could have been put on the quizzes may appear here, as well as questions about Prolog or Prolog programming, about OO programming in general and uSmalltalk in particular, and simple questions about ADTs and about concepts covered in the final lecture.
Homework9: Assigned May 5, due May 12. Submission format to be posted later. Problems from chapter 9 of textbook:
Homework8: Assigned Apr 28 due May 5.
HW8.pdf.
here is template code
for uml.pl.
submit dimock prolog final.pl rev.pl fflatten.pl
llength.pl backprint.pl uml.pl interp_or.pl interp_if.pl interp_cut.pl
problems.pdf
With the option of .ps, multiple .jpg or paper versions handed in
in class instead or problems.pdf
Answers: .pdf,
Homework7: Assigned Apr 14 due Apr 21.
HW7.pdf.
submit dimock logic problems.pdf
With the option of .ps, multiple .jpg or paper versions handed in
in class instead or problems.pdf
Answers: .pdf,
Homework6: Assigned Apr 7 due Apr 15.
HW6.pdf.
submit dimock sem nanoScheme.sml problems.pdf
With the option of .ps, multiple .jpg or paper versions handed in
in class instead or problems.pdf
Answers: .pdf,
Homework5: Assigned Mar 31, due Apr 6.
HW5.pdf.
submit dimock types2 problems.pdf ml.sml ttest.uml
You will probably want to use the unifier code from the solution to
homework 5. Find the code here.
Answers: .pdf,
Homework4: Assigned Mar 24, due Mar 31.
HW4.pdf
submit dimock types problems.pdf timpcore.sml pr3.uscm unify.sml fails1.sml fails2.sml works1.sml works2.sml
| Problem | Files |
|---|---|
| 1, 4, 5(a,b) | problems.pdf or equivalent |
| 2 | timpcore.sml with your modifications |
| 3 | pr3.uscm |
| 6 | unify.sml fails1.sml fails2.sml works1.sml works2.sml |
Homework3: Assigned Mar. 1, due Mar. 8.
HW3.pdf
submit dimock lambda problems.pdf SubstFvBv.sml
You will need the following files for the coding problem:
SubstFvBv.sml which
is a template awaiting your answer
and
list-set-fn.sml
which contains some support code for handling sets as lists.
Answers: .pdf
Homework2: Assigned Feb. 17, due Feb. 24.
HW2.pdf
references problem19-support.scm
submit dimock uscheme problem1.scm problem4.sml problem5.scm problems.pdf
Answers: .pdf
Homework1: Assigned Feb. 3, due Feb. 10.
HW1.pdf
references problem-1-15-examples.pdf
submit dimock impcore sigma1.imp sigma2.imp problems.pdf
expt.sml orderPairs.sml evenOdds.sml
Rather than submitting the writeups of the text problems online as problems.pdf, you
can turn them in on paper in class. If you need to use electronic
submission but have hand-written answers, scan the anwers in and
submit problems1.jpg ... problemsN.jpg instead of problems.pdf.
Answers: HW1-answer.pdf