GitHub - Prolog-UqbarExerciseIntegratorRatatouille Упражнение от частичен тип

Интегративно упражнение. Логическа парадигма.

prolog-uqbarexerciseintegratorratatouille

„Не всеки може да стане велик художник, но велик художник може да дойде отвсякъде“

Здравей! В град, където плъховете и хората знаят как да готвят, ние имаме следната информация в нашата база от знания:

Знаем имената им и къде живеят от плъхове. От хората, освен името си, какви ястия те знаят как да готвят и колко опит (от 1 до 10) имат да ги приготвят. Разполагаме и с информация за това кой работи във всеки ресторант:

Разработете следните предикати, като се уверите, че са напълно обратими:

Задоволителна проверка/1: изпълнява се за ресторант, когато там не живеят плъхове.

готвач/2: свързва служител с ресторант, ако служителят работи там и знае как да готви ястие.

chefcito/1: вярно е за плъх, ако живее в същия ресторант, където работи лингвине.

cocinaBien/2: вярно е за човек, ако опитът му в приготвянето на това ястие е по-голям от 7. Също така, Remy готви добре всяко ястие, което съществува.

Отговаря за/3: лицето, което отговаря за готвенето на ястие в ресторант, ни казва, че той е този, който има най-голям опит да го приготви на това място. Сега получаваме малко повече информация за ястията. Разделяме ги на предястия, основни ястия и десерти: