Advanced Features

We discuss some powerful features that Prolog offers then the important subject of programming style. Finally some aspects of Prolog are mentioned that demonstrate that the development of Logic Programming is by no means over.

• Powerful Features
  • Powerful Features ---Typing
  • Powerful Features ---Splitting Up Clauses
    • clause/2
    • functor/3
    • arg/3
    • =../2
  • Powerful Features ---Comparisons of Terms
    • ==/2
    • ==/2
    • @>/2 @>=/2 @</2 and @=</2
  • Powerful Features ---Finding All Solutions
    • setof/3
    • Stage 1
    • Stage 2
    • Stage 3
    • bagof/3
  • Powerful Features ---Find Out about Known Terms
    • current_atom/1
    • current_functor/2
    • current_predicate/2
    • current_op/3
• Open Lists and Difference Lists
• Prolog Layout
  • Comments
    • Program Headers
    • Section Comments
    • End of Line Comments
    • Code Layout
• Prolog Style
  • Side Effect Programming
    • Modifying the Program at Runtime
    • The cut (!/0)
    • ;/2
    • if ... then & if ... then ... else
• Prolog and Logic Programming
  • Prolog and Resolution
  • Prolog and Parallelism
  • Prolog and Execution Strategies
  • Prolog and Functional Programming
  • Other Logic Programming Languages
• What You Should Be Able To Do