1# Yale shooting scenario
    2
    3Lets us compare the expressiveness of `s(CASP)` vs `ASP` + constraints
    4using the spoiling Yale shooting scenario
    5([Janhunen et al. 2017](https://arxiv.org/pdf/1707.04053.pdf)).
    6
    7In this scenario we have an unloaded gun and three possible actions
    8load, shoot, and wait. If we load the gun, it becomes loaded. If we
    9shoot the gun and it was loaded for no more than 35 minutes, the
   10turkey is killed. Otherwise, the gun powder is spoiled. We are looking
   11for an executable plan such that:
   12* the turkey is killed within 100 minutes,
   13* considering that we are not allowed to shoot in the first 35
   14minutes.
   15
   16## s(CASP) implementation
   17
   18```
   19scasp yale_shooting_casp.pl
   20```