CSC301 Prolog
Logic has had an interesting 2000 year long history, you can find
a
brief
summary of it as it pertains to logic programming here.
When you run Prolog you should something like this:
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 6.6.6)
Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.
For help, use ?- help(Topic). or ?- apropos(Word).
1 ?- pwd.
/Applications
true.
2 ?- chdir('/Users/lutz/Documents/Courses/2014/fall2014/csc301/random code').
true.
3 ?- ['family.pl'].
% family.pl compiled 0.00 sec, 20 clauses
true.
4 ?- male(phil).
false.
5 ?- male(bob).
true.
6 ?-
Note: the 'family.pl' program can be downloaded below.
Other Resources:
Programming Exercises and Examples: