Prolog Examples

LA home
Computing
Logic
 Prolog
  Intro.
  Examples
  Syntax
  Interp.
  Examples
   Windsor
   Append
   Aunt
   Solar
   Diff
   Tree
   Witch

Also see
  λ-calculus
Various Prolog example programs are listed (and the introduction also contains programming examples).
House of Windsor.
Solar system database.
Aunts and Uncles, rules and relations.
Linked lists and list manipulation.
Symbolic differentiation.
Tree data structures and tree traversal algorithms.
Monty Python and "logic".
 
The examples can be run using the Prolog interpreter.



— see Monty Python's [Search for the Holy Grail], with the witch.
The applet above needs Java turned on.
www #ad:

↑ © L. Allison, www.allisons.org/ll/   (or as otherwise indicated).
Created with "vi (Linux)",  charset=iso-8859-1,   fetched Tuesday, 19-Mar-2024 07:44:10 UTC.

Free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop, Firefox web-browser, FlashBlock flash on/off.