ko pozenemo program in povecamo glavni obrazec na ekranu dobimo sliko v katero vnesemo stevilo lastnosti med in in stevilo zapisov med in in nato pritisnemo gumb dimenzije racunalnik sam po sebi predlaga imena polj ki pa jih spremenimo s podatki s katerimi zelimo sestaviti nalogo recimo da imamo trgovce podamo imena v veliki trgovini s nadstropji ki prodajajo razlicne stvari imamo torej lastnosti in zapise potem ko smo vse zapise vnesli v prvo razpredelnico pritisnemo na gumb permutiraj ki nam bo premesal podatke kako jih je premesal nam prikazuje preglednica permutacij na desni strani okna prva preglednica pod gumbi nam pomeni resitev naloge druga pa podatke zdaj preidemo na pomozen obrazec sestavljanje s pritiskom na gumb zacni se prenesejo podatki iz glavnega obrazca zdaj bomo pomozni obrazec povecali vidimo da so da ji ze vneseni nasa naloga pa je da vnesemo toliko ne jev da bo racunalnik izpeljal vse da je z da ji pri vnasanju moramo paziti da bo dejansko vsak ne uporaben pri sklepanju sicer bo naloga imela odvecne podatke tako se splaca malo premisliti saj bo od tega odvisna poznejsa formulacija pogojev splaca se vsaj nekajkrat uporabiti pravilo komplementiranja ki je tezje od pravila ko je v vrstici stolpcu eno samo prazno mesto in same elementarne prepovedi ko smo izpolnili celotno tabelo s pritiskom na gumb prik ne dobimo enkran samo z vnesenimi ne ji to so pogoji naloge stevilka levo od gumba nam pove koliko je danih elementarnih prepovedi zdaj klikamo gumb nova vrstica ki nam izpise stevilko pogoja v tekstovnem polju v spodnjem delu ekrana pri klikanju moramo upostevati da bomo pogoje prevedli v navadni jezik zato ni odvec ce imajo elementarne prepovedi v pogoju kaksen skupen argument nato se vrnemo na glavni obrazec pritisk na gumb prenos nam pogoje iz pomoznega obrazca prenese v spodnji tekstovni del glavnega obrazca pritisk na gumb shrani pa nam shrani tekstovne podatke na datoteko ki jo vnesemo v polje nad gumbom datoteka izgleda takole v njej so poleg podatkov zapisani tudi koraki sklepanja ko smo vnasali posamezne ne je in so bili iz tega izpeljani ne ji in da ji gumb izpis nam izpise podatke na tiskalnik zdaj se sele zacne kreativno delo nekaj ga je v pametni izbiri ne jev prevesti moramo pogoje v normalen jezik najprej vnesemo podatke iz datoteke v urejevalnik teksta resitev bomo seveda prestavili na konec podatke prevedemo v nalogo v neki trgovini s stirimi nadstropji delajo stane diana marija in david vsak izmed njih dela v svojem nadstropju prodajajo pa naslednje reci obleko obutev hrano in kamere ugotovi kje kdo dela in kaj prodaja ce ves naslednje stane prodaja v nadstropju diana ne prodaja v nadstropju tam pa ne najdemo niti hrane niti obleke tudi kamer ni v nadstropju diana in stane ne prodajata kamer diana ne prodaja hrane niti ne dela v nadstropju tudi david ne dela v nadstropju nazaj na glavno stran last update u september th