GitHub - Prolog-UqbarExerciseIntegratorRatatouille Exercițiu de tip parțial

Exercițiu integrativ. Paradigma logică.

„Nu toată lumea poate deveni un mare artist, dar un mare artist poate veni de oriunde”

Bună ziua! Într-un oraș în care șobolanii și oamenii știu să gătească, avem următoarele informații în baza noastră de cunoștințe:

Știm numele lor și unde trăiesc de la șobolani. Dintre oameni, pe lângă numele lor, ce feluri de mâncare știu să gătească și câtă experiență (de la 1 la 10) le pregătesc. De asemenea, avem informații despre cine lucrează în fiecare restaurant:

Elaborați următoarele predicate, asigurându-vă că acestea sunt complet reversibile:

Inspecție satisfăcătoare/1: este îndeplinită pentru un restaurant atunci când nu locuiesc șobolani acolo.

bucătar/2: leagă un angajat de un restaurant dacă angajatul lucrează acolo și știe să gătească un fel de mâncare.

chefcito/1: este adevărat pentru un șobolan dacă locuiește în același restaurant în care lucrează linguine.

cocinaBien/2: este adevărat pentru o persoană dacă experiența sa de a pregăti acel fel de mâncare este mai mare de 7. De asemenea, Remy gătește bine orice fel de mâncare care există.

Responsabil de/3: persoana care se ocupă de gătitul unui fel de mâncare într-un restaurant ne spune că el este cel care are cea mai mare experiență în pregătirea acestuia în acel loc. Acum primim ceva mai multe informații despre feluri de mâncare. Îi împărțim în aperitive, feluri principale și deserturi:

---