CSE 341 -- Logic Programming
Logic Programming Notes
Prolog Notes
Running Prolog
Some Sample Prolog Problems (From Section)