Old releases:

Some examples of RASP-programs:

• Example_1:
  Preparing desserts. The condition of having prepared a dessert is represented through a regular ASP atom (such as "havecake").
  • Source RASP program: dessert1.txt
  • Translation in ASP obtained with "raspberry -i dessert1.txt -o dessert1.out": dessert1.out
  • Solutions obtained by "gringo dessert1.out |clasp 0 > dessert1.sol": dessert1.sol
  • Translation in ASP obtained with "raspberry -l3 -i dessert1.txt -o dessert1_l3.out": dessert1_l3.out
  • Solutions obtained by "gringo dessert1_l3.out |clasp 0 > dessert1_l3.sol": dessert1_l3.sol
• Example_2:
  Preparing desserts. Differs from the previous one because desserts are resources (i.e., represented through amount-atoms, such as in "cake:1").
  • Source RASP program: dessert2.txt
  • Translation in ASP obtained with "raspberry -i dessert2.txt -o dessert2.out": dessert2.out
  • Solutions obtained by "gringo dessert2.out |clasp 0 > dessert2.sol": dessert2.sol
  • Translation in ASP obtained with "raspberry -l3 -i dessert2.txt -o dessert2_l3.out": dessert2_l3.out
  • Solutions obtained by "gringo dessert2_l3.out |clasp 0 > dessert2_l3.sol": dessert2_l3.sol
Example_3:
A simple heating system.
• Source RASP program: heat.txt
• Translation in ASP obtained with "raspberry -l3 -pp -i heat.txt -o heat_prodigal_l3.out" (i.e. using the Prodigal policy for rule firing, see [CF07]): heat_prodigal_l3.out
• Solutions obtained by "gringo heat_prodigal_l3.out |clasp 0 > heat_prodigal_l3.sol": heat_prodigal_l3.sol