• /usr/bin/prolog is the prolog query engine
• halt. to quit prolog entirely, (help) for help, abort. to exit the current query (but not prolog entirely).
• ['filename']. to compile and load an existing file of prolog facts/rules, a list of filenames is acceptable.
• control-c to interrupt, debug, or get help
  (then a abort, e exit, b break, c continue t trace, d debug, h help)
• trace. and notrace. to turn on/off tracing
• graphical version: there is an associate gui prolog: xpce (found at /usr/bin/xpce on our system)
• prolog scripts can be created using the #! line and the initialization goal, see the example here: tscript.pl

Availability

• SWI-Prolog

• Facts, queries, and basic syntax
• Intro to basic rule structure

• Simple data types (atoms, numbers, characters)
• Variables, instantiation, unification, comparison, and not

• if-then, and, or, not, recursion and loops
• true, fail, repeat, cuts, and query resolution

• Numbers, math
• Characters, strings, and atoms
• Lists
• Type checking

• Input
• Output
• File I/O and file handling
• Run a shell command and capture the output
• Simple ascii screen effects

• Pausing and timing execution
• Random number generation

• dynamic facts: assert and retract
• call, =.., functor, arg, bagof, findall
• emulating classes, methods, and inheritance (shapes example)
• Generate and test
• Negation and limitations
• WAM implementations

• DCGs and parsing (lengthy overview, atom-based, not strings)
• simple list-based code parsing example (no analysis performed)
• simple expression-evaluation example (correct precedence but right-to-left associativity)
• expression-evaluation using accumulators (correct associativity and precedence)

• implementing cons, car, cdr, cadr, cddr, etc
• flatten a list
• remove duplicates from a list
• find the last element of a list
• test if x comes before y in a list
• find the nth element of a list
• find the position of an element in a list
• find the smallest integer in a list
• append contents of one list to another's
• make all possible pairs of elements of a list (findall, bagof, foreach)
• reverse a list
• find all elements with values between x and y in a list
• swap two elements in a list
• move an element to the front of a list
• difference of two lists
• union of sets (as lists)
• merge two sorted lists
• simple stack (as a list)
• isSorted, insertSorted on general list
  list insertion and insertion sort on numeric lists
• divide a list into a list of ascending sequences
• anagrams and permutations

• representing 2d shapes (circles and boxes)
• temperature representation/conversion (using structures)
• directed graphs
• binary search tree
• query system for a "database" of archived files

• processing quadratic polynomials
• gcd and lcm
• compute factorials
• evaluate a postfix expression
• evaluate a prefix expression

• ask the octal magic ball a question
• flight planning
• read all records from a file in CSV form
• calculate movie end time
• a csci pre-requisite checker
• NHL draft lottery simulator
• represent and analyze a digital circuit
• guess and check a number (backtracking and cuts)
• rock-paper-scissors-lizard-spock (vs ai)
• towers of hanoi
• marie assembly language emulator (partial)
• user menu system
  (repeatedly get/process commands until user quits)
• turn-based games with minimax AI
  (tic tac toe example)

• simple expression checker
• simple matching-brackets checker
• analyzing simple english sentences
• concatenating lists with dcgs
• translating lisp into C
• text-based game
  (dynamic facts and grammar parsing)