Prolog Examples

The solutions of the examples are implemented in SWI Prolog.

• 1    Basics
  • 1.1    Family Relations
    • 1.1.1    Facts
    • 1.1.2    Predicates
    • 1.1.3    More Family Relations
  • 1.2    A Simple Thought (Basic Inference)
  • 1.3    A Small World (Knowledge Representation)
• 2    Backtracking
  • 2.1    Money Change
  • 2.2    The 4-Color Problem
  • 2.3    Europe
• 3    Lists, Recursion
  • 3.1    Family Relations
  • 3.2    Factorial & Fibonacci
  • 3.3    List Manipulation
  • 3.4    A Complex Bike
• 4    Knowledge Representation in Pure Prolog
  • 4.1    Means of Traffic
  • 4.2    Problems with Insulators
  • 4.3    Network of Resistors (Knowledge Representation with Terms)
  • 4.4    Digital Circuits (Knowledge Representation with Clauses)
• 5    Cut und Not, Backtracking
  • 5.1    A Tennis Tournament
  • 5.2    Three Friends
  • 5.3    The Queen Problem
    • 5.3.1    Generate and Test
    • 5.3.2    Stepwise Generate and Test
• 6    Built-in Predicates
  • 6.1    Higher-order Predicates
  • 6.2    Memoization
  • 6.3    User Interaction
  • 6.4    Counter
  • 6.5    Transformation of Facts into List Arguments
• 7    Problem Solving
  • 7.1    Car Driving in Switzerland
  • 7.2    Two Canisters
  • 7.3    River Crossing
  • 7.4    A Robot
• 8    Prolog Potpourri (or Fun with Prolog)
  • 8.1    Crypto-arithmetic Puzzle
  • 8.2    Three Friends
  • 8.3    An Intelligence Competion
  • 8.4    Language Translation
• 9    An Information System
• 10    Rule-based Shell, Diagnosis
  • 10.1    Rule-based Shell (Backward Reasoning)
  • 10.2    Rule-based Diagnosis (Hypothesis Testing)
• 11    Rule-based Shell, Explanations
  • 11.1    Rule-based Shell with Explanations
  • 11.2    Rule-based Diagnosis
• 12    Property-based Shell, Structured-based Diagnosis
  • 12.1    Property-based Shell
  • 12.2    Structured-based Diagnosis
• 13    Frames, Inheritance, Demons
  • 13.1    Frames
  • 13.2    Application: Hierarchy of Graphical Objects
• 14    Natural Languages I
  • 14.1    Tokenizer
  • 14.2    Natural Language Database Queries
  • 14.3    ELIZA
• 15    Natural Languages II
  • 15.1    Syntax and Semantics
  • 15.2    Semantics Representation in a Database
  • 15.3    Queries
  • 15.4    Intelligent Dialog