See some nontrivial applications of Prolog:

how to find the change for a given amount

how to sort:

the implementation (almost) equals the specification!

but for a practical implementation, a bit more work is needed.
Put Prolog in perspective, also mentioning Datalog which is a proper subset.
3:304:30pm: CIS705 presentations in room 2168.
Project 5 due this weekend.