/**
* TestPS
* testing prodn systems
*/

import sheffield.*;
import java.util.*;
import java.math.*;
import pmatch.*;

public class TestPS
{
 public static void main(String[] arg) {
   // create objects for input and output
   EasyWriter scr = new EasyWriter();
   ArrayList bagger1 = new ArrayList(); //make the bagger1 rules
   bagger1.add(new b1_start());
   bagger1.add(new b1_get_next_item());
   bagger1.add(new b1_bag_in_current());
   bagger1.add(new b1_start_new_bag());
   
   //initial facts
   
   Vector stm = new Vector();
   stm.add("step is start bagging");
   stm.add("trolley contains bread space 30");
   stm.add("trolley contains spuds space 50");
   stm.add("trolley contains cornflakes space 40");
   
   //prod sys engine
   
   ProdSys ps=new ProdSys(bagger1);
   
   Vector res=ps.run_PS(stm);
   scr.println("final STM ");
   scr.println(res);
  }
}