First Order Logic Chapter 8 Some material adopted from notes by Tim Finin And Andreas Geyer-Schulz.
Basic Knowledge Representation in First Order Logic