A few quick and dirty Prolog notes for getting up and running.
Data types
a 'a b c' % atoms
X The_end % variables start with capitals
a(1,2) functionname(x,y) % compound terms
Interacting with prolog
- Start prolog: pl
- Quit prolog: halt.
- Start entering facts: [user].