• Obtaining More Solutions
  • findall
  • bagof or setof
  • Removing duplicate items with setof
• Global variables and DataBase Functions
  • assert
  • retract
• About this document ...

Back to the Prolog Page