Posl+D-POSL

[]
 * EBNF**



Version 2:



Fixed Alt Exception


 * r1: acceptable(apartment->?x) :- carlo:apartment(carlo:age->12)**
 * r2: acceptable(apartment->?x) := carlo:apartment(carlo:age->12;carlo:size->55)**


 * Eclipse Test Rig**




 * Defeasible ** [[file:dpo1.zip]]




 * Test Rule:**


 * r1:acceptable(apartment->?x) :- carlo^^apartment(carlo^^age->12)**




 * Test Rig:**








 * r1: acceptable(apartment->?x) :- carlo:apartment(carlo^^age->12)**
 * r2: acceptable(apartment->?x) := carlo:apartment(carlo^^age->12;carlo^^size->55)**




 * r1: acceptable(apartment->?x) :- carlo^^apartment(carlo^^age->12).**


 * r2: acceptable(apartment->?x) := carlo^^apartment(carlo^^age->12;carlo^^size->55).**




 * r1: acceptable(apartment->?x^^ACCOMMODATION) :- carlo:apartment(apt845^carlo:age->12).**


 * r1: acceptable(apartment->?x^^ACCOMMODATION) :- carlo:apartment(apt845^carlo:age->12).**
 * r2: acceptable(apartment->?x^^ACCOMMODATION) := carlo:apartment(apt845^carlo:age->12;carlo:size->55).**