Prolog Programming, Logic Programming

1. GNU Prolog
2. SWI Prolog
3. Prolog :- tutorial, Prolog tutorials
4. Learn Prolog Now