Backtracking Families

• High memory consumption in declarative languages, including logic ones
• Parallel execution
  • Needs additional data to allow processor synchronization - specially on backtracking
  • And some sequential optimizations are lost
• Memory usage increased w.r.t. sequential execution [Kish and Hermenegildo - ParForce deliverable]
• Will present optimizations for the execution of (a class of) independent And-parallel goals under the ``marker scheme''