OT: prolog a potato

[Michal Suchanek]

> >       Dobry den,
> >  nedavno jsem nainstaloval potato, vse funguje bez problemu. Pomoci
> > dselectu jsem nainstaloval SWI prolog. I ten se zdal, ze funguje - ovsem
> > do te chvile, nez je treba pouzit retract:
> > 
> >   ERROR: No permission to modify static_procedure `misto/1'
> >    ^  Exception: (9) retract(misto('Namesti')) ?
> 
> Ja Prolog moc neznam, ale ta procedura by mela byt myslim zadefinovana
> nejak takhle:
> 
> :-dynamic(misto(_)).
> misto(Misto):- ...
> 
Alternativni reseni
tohle je jeste celkem prehledne:
:-assert(misto('Namesti')).
tohle uz horsi:
:-assert(misto(Misto):-...).
-- 

	Michal.Suchanek na st.mff.cuni.cz