Előre haladó szabályalapú köv. reprezentáció
Tény:
- ÉS/VAGY kifejezés (univerzálisan kvantált)
Szabályok:
- L ? W kifejezés (univerzálisan kvantált)
- L : literál, W : ÉS/VAGY kifejezés
Cél:
- L1?...?Ln kifejezés (egzisztenciálisan kvantált)
- L1,…,Ln : literál