The Blackboard

A new interface has been added to separate backtrackable and surviving uses of blackboard objects so this primitive and the def/3, set/3, rm/2 of previous version although still available should be replaced either with:

• global logical variables
• garbage-collectible permanent objects.

• Global logical variables
• Garbage-collectible permanent objects.
• Assert and retract
• Assumed code, intutionistic and linear implication
• Overriding
• Problem solving with linear implication
• The blackboard as an alternative to assert and retract
• The low-level blackboard operations
  • Naming primitives
  • Copying primitives
  
  
• An useful Prolog extension: bestof/3
• Blackboard based abstract data types
  • Blackboard based failure surviving stacks
  • Constant time vectors
  
  
• Blackboard based problem solving
  • A complete knight tour
  • A lemma based TAK
  
  
• A Linda style interface to the blackboard