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