GitHub - Prolog-UqbarExerciseIntegratorRatatouille Részleges gyakorlat

Integratív gyakorlat. Logikai paradigma.

gyakorlat

"Nem lehet mindenki nagy művész, de nagy művész bárhonnan jöhet"

Jó napot! Egy olyan városban, ahol patkányok és emberek tudnak főzni, a következő információk találhatók tudásbázisunkban:

Patkányokból tudjuk a nevüket és a lakhelyüket. Az emberekről a nevükön kívül milyen ételeket tudnak főzni, és mennyi tapasztalattal rendelkeznek (1-től 10-ig), hogy elkészítik őket. Arról is van információnk, hogy ki dolgozik az egyes éttermekben:

Fejlessze a következő predikátumokat, biztosítva azok teljes visszafordíthatóságát:

Megfelelő ellenőrzés/1: akkor teljesül egy étterem esetében, amikor patkányok nem élnek ott.

chef/2: az alkalmazottat egy étterembe kapcsolja, ha az alkalmazott ott dolgozik és tudja, hogyan kell főzni egy ételt.

chefcito/1: igaz patkányra, ha ugyanabban az étteremben lakik, ahol a nyelv dolgozik.

cocinaBien/2: igaz egy személyre, ha tapasztalata az étel elkészítésénél nagyobb, mint 7. Emellett a Remy jól főz minden létező ételt.

A/3 felelőse: az étkezés főzéséért felelős személy azt mondja nekünk, hogy ő az, aki a legtöbb tapasztalattal rendelkezik annak elkészítéséhez ezen a helyen. Most egy kicsit több információt kapunk az ételekről. Előkészítőkre, főételekre és desszertekre osztjuk őket: