Enunț

Spreadsheet

În principiu, toate elementele sunt verificate de checker.

Eventual puteți nota dacă anumite teste le-au dat timeout pe checker și ei zic că nu le rulează în relativ puțin timp local.

Important este

• să știe ce se întâmplă în temă
• să nu fi harcodat lucruri. Testele sunt doar pe 3 integrame, verificați că ce au făcut are sens. Mai ales la predicatele lungime_spatiu și rezolvare să nu fi folosit chiar predicatul solutie (care există definit, pentru tester).

Puteți nota ce probleme întâlniți în coloana Observații.

• General
  • La ce folosesc diversele predicate definite de ei (nu din cele date), ce argumente au, care argumente sunt legate și ce argumente leagă predicatul (care sunt “de intrare” și care sunt “de ieșire”)
  • Dacă au folosit findall / bagof / setof, cum le-au folosit și cum funcționează.
  • Dacă au folosit sau (;), între ce variante alternează.
  • Dacă au folosit negație (\+), ce demonstrează negația, care este semnificația rezultatului.
• Pentru bonusuri
  • Cum au controlat numărul soluțiilor. Este acceptabil și să zică că au încercat să pună cut-uri prin sursă pe unde au putut, dar să povestească un pic despre cam cum au făcut aceste încercări (mai ales la rezolvare și la intersectie unde puteau avea mai multe soluții.