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.

• Was the second file printed? [No]

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

• Was the tank full when I got home? [No]
• did I take money with me to the gas station> [Yes]
• Where was my car when I was at the gas station? [Gas Station]
• Was the car engine running while I drove home>[Yes]

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