HW4 - due 2/20/2004

Do the following in Prolog or your favorite First Order theorem prover

1. John's local system has 20mb of free space. John printed a 40mb file that was on his local system. He then attempted to get a 30mb file via ftp and then print it.

2. I drove to the gas station and filled my gas tank. Then I drove home.

Bruce D'Ambrosio, dambrosi@cs.orst.edu