0:03 - Writing facts 0:30 - Writing rules 2:01 - Doing math in Prolog 5:52 - Working with a fact base 13:05 - Performing queries at consult time (useful for getting output when you consult a file)
No download links available.