[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
project 4 released
- To: Rao Kambhampati <rao@asu.edu>
- Subject: project 4 released
- From: Subbarao Kambhampati <rao@asu.edu>
- Date: Tue, 7 Apr 2009 15:53:28 -0700
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=NRfeu3MhwCBpmvO/ZR14+1N74eWDZhFxBV1f3HwN9dg=; b=PxunrwGdOZO6f+xUVyxz5WrIRVUszN1rF5p+DevAUSGcaKpwYVSNnZLa61pOawZ4Mz n6GI90IVS4F16ncPYXN/oTD/ixRgVCScab4yjbqgpCP3c8M3IUm8/fnNjzsCtDIeafmS QUr96JFkCpLTuXAowZtNpVti70El387iG87Ec=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=XaqiORrvKJT2sZghuJc8/ysywo4yYrADiqqsd950TwmZ91/3oNBjiGDJPHq/jGfklj yOrRPTaeLZc6aOrTn/lLKXfUobsHGFOwRKXFfbLHMKoUdYRF8X+txaYCs/LwP6ourhgU CMxwYT1PgcCmc1/Ay7S+2MtnC1CwkY6SateZU=
- Sender: subbarao2z2@gmail.com
Folks:
?Project 4 is now released. It will require you to implement a prolog-style theorem prover starting from a given code base.
It basically involves doing the apartment-pet example discussed in today's class.
Please look at that example as well as the project assignment by next class so I can answer any questions you may have.
thanks
Rao