Homework now due
You can find questions that have been assigned due dates
here
.
Questions 1–7, 9–18 are now past due.
If you have not attempted them yet, please do so, and hand them in
anyway. I may get around to marking them.
Questions 8 and 19–21 have been assigned due dates.
Homework assigned but without due dates
-
Which of the following pairs of terms unify?
For those that do, give a most general unifier.
For those that do not, explain briefly why.
-
cat cat
-
cat dog
-
cat Dog
-
dog(house(g(V), g(X)), bat(g(g(W))),
wiring(X,t))
dog(house(U, V), bat(g(V)), wiring(z,t))
-
2+X
2+2
-
2+X
3+1
-
dog(house(g(V), g(X)), bat(g(g(W))),
wiring(X,W))
dog(house(U, V), bat(g(V)), wiring(z,t))
-
Design your own “interesting” unification question.
- one pair of which fails to unify
- one pair of which unifies
- one pair which only unifies by omitting the occurs check.
-
Given the facts
/* just the facts. */
directlyNorthOf(princeGeorge,redRock) .
directlyNorthOf(redRock, narnia).
directlyNorthOf(redRock,stoner) .
directlyNorthOf(stoner,hixon) .
directlyNorthOf(hixon,quesnel) .
directlyNorthOf(quesnel,kersley) .
directlyNorthOf(kersley,alexandria) .
directlyNorthOf(alexandria,macallister) .
directlyNorthOf(macallister,mcleeseLake) .
directlyNorthOf(mcleeseLake,sodaCreek) .
(text can be found here)
determine what is “north of” Kersley?
That is write a predicate northOf that is the
transitive closure of directlyNorthOf, and use it
with the above facts.
-
Write a series of facts about the counties in the United Kingdom
(that would be four facts). From the facts, it should be possible
to deduce
- the capital city
- whether or not there are snakes
- whether or not there is a dragon on the flag
For instance, a corresponding fact from France might be
départment(finistère, quimper,
[“Smooth”, “Aesculapian”, “Viperine”,
“Common Adder”],
no).
