Exercițiu integrativ. Paradigma logică.

exercițiu

„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:

Din intrări știm ce ingrediente le compun; dintre cele principale, ce garnitură îi însoțește și câte minute de gătit au nevoie; și a deserturilor, câte calorii contribuie.

  1. sănătos/1: o farfurie este sănătoasă dacă are mai puțin de 75 de calorii.
  • În intrări, fiecare ingredient adaugă 15 calorii.
  • Preparatele principale adaugă 5 calorii pentru fiecare minut de gătit. Garniturile se adaugă la factura totală: 50 de cartofi prăjiți și 20 de piure de cartofi, în timp ce salata nu adaugă calorii.
  • Știm deja numărul de calorii despre deserturi.
  1. ReviewPositive/2 - Adevărat pentru un restaurant dacă un recenzent scrie o recenzie pozitivă pentru acesta. Fiecare critic își folosește propriile criterii, dar toți sunt de acord cu ce
  • la fel: site-ul trebuie să aibă o inspecție satisfăcătoare.
  • antonEgo De asemenea, speră că există specialiști care pregătesc ratatouille. Un restaurant este specializat în acele feluri de mâncare pe care toți bucătarii săi știu să le gătească bine.
  • christophe, că restaurantul are mai mult de 3 bucătari.
  • cormilot cere ca toate felurile de mâncare pe care angajații restaurantului știu să le gătească să fie sănătoase și să nu existe intrări fără morcovi.
  • Gordon Ramsey nu dă o recenzie pozitivă niciunui restaurant.