Zadania prolog - jednoduchý systém správy dát

Zadania sa vzťahujú k práci s údajmi uloženými v prologovskej databáze. Obsahujú elementárne operácie pre prácu s údajmi (vloženie, modifikácia, zrušenie), ako aj náročnejšie operácie, pomocou ktorých sa napr. zaistí integrita uložených údajov.

Údaje budú reprezentované v databáze prologu (fakty). V zadaní je zoznam minimálneho súboru údajov, možno k nim podľa potreby pridať ďalšie.

Program bude vhodným spôsobom okomentovaný (nezabudnite na hlavičku programu) a bude jasne oddelená

  • časť používateľského rozhrania,
  • definovania databázy a elementárnych operácií s faktami a
  • nadstavba nad databázou (pravidlá).

Ešte zopár poznámok a pokynov:

  • pri realizácii vyhľadávania využite zisťovanie podobnosti v prologu a tiež spätný chod,
  • odporúčam použiť predikát findall/3 (môžete si zadefinovať aj vlastný zberač riešení a ten opakovane v programe použiť),
  • nepoužívajte vstavané predikáty na usporadúvanie, vytvorte si na to vlastný predikát,
  • ak zadanie vyžaduje reprezentáciu času alebo dátumu využite operátory v prologu.

Zadania sú pridelené takto:

Skupina 1     Baníčková Zuzana     Bruchatý Marek Daněk Libor     Hanzel Maroš
Hrutka Michal     Hucko Michal Jakubík Martin Jasaň Jakub
Jurkáček Peter     Knapík Michal     Krajčovič Michal Kucík Samuel
Motko Štefan     Sobanský Milan Šmihla Ján     Vítek Andrej    
     
Skupina 2     Belai Peter     Beňuš Peter     Brechtl Ján Cuper Matúš
Hagara Lukáš Kakaš Richard Keszeli Mário Lacek Martin
Matlovič Tomáš Nemeček Martin Pavlovič Tomáš Pazúrik Jozef
Repiský Tomáš     Roštár Marek     Salát Matúš     Senko Jakub    
Sumbal Jaroslav Šrank Martin Varjan Michal
     
Skupina 3     Brezák Martin Danko Roman Fabušová Janka     Hučko Jakub
Javorník Dušan Kalanin Peter     Pacher Marek Paulecová Patrícia    
Puškáš Michal Šašinková Kristína     Šlesaríková Tatiana

to Homepage to Teaching to FLP to the Top

Home
Research
Projects
Publications
Books
SCM
Teaching
Links
Last updated:
Mária Bieliková bielik [zavináč] fiit-dot-stuba-dot-sk
Design © 2oo1 KoXo