The Marker Scheme for IAP

• IAP: Goals which do not share variables at run-time (independent goals) are allowed to execute in parallel

• Notation:

  p & q

• Backtracking performed right-to-left as in Prolog

• The marker scheme:
  • Multiple stack sets in shared memory

  • Sequential threads executed in contiguous sections of memory

  • Sections ``physically'' separated by markers

  • Markers contain information enough to synchronize forward and backwards execution