I am using SWI-Prolog on a PC. You can download it here and install it on your own PC to do these examples and to do your programming assignment.

I have also installed SWI-Prolog on the Unix machines:

    /net/buzzard/dhive/swi-prolog/bin/plg

• basic likes

• inclass code: deepCount, debag

• list and set predicates

• even, odd predicates

• DFA parser code
  variant... NFA recognizer
  another NFA recognizer
  PDA parser

• list ordering (forward, backward)
  sort: permutation
  sort: merge

• factorials
  primes code

• Simple medical expert system (knowledge bases)

• Towers of Hanoi

• Tic Tac Toe (example from Scott)

• Logic puzzle solving

  agents
  natural lang processing
  state-space searching (Rubik's cube) 
  

• first
• second
• third
• fourth
• fifth
• sixth
• seventh
• logic puzzle solver generator
• 99 prolog problems
• math operations
• repeat 'loops'