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]