Material for readers of ICLP07 paper

• Complete proofs and concrete syntax of the B-MV-FD language
• Translator from B to ASP
• Interpreter of the B language, and some examples:
  • The three barrels
  • A 3 x 3 puzzle
  • A Blocks Problem
• Interpreter of the B-MV-FD language, and some examples:
  • The three barrels
  • A 3 x 3 puzzle
  • The Protein Folding Problem
  • A better world
• To use the interpreters, consult/compile them in SICStus Prolog together with the desired action theory. Then call the goal main(N), where N is the length of the plan + 1 (i.e., the number of states involved in the plan).