„11. Tervkészítés” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
Listák helyrerakása |
||
| 23. sor: | 23. sor: | ||
* ''cselekvések leírása:'' az előfeltétel és következmény határozza meg | * ''cselekvések leírása:'' az előfeltétel és következmény határozza meg | ||
** három fő sémája: | ** három fő sémája: | ||
**# megnevezés és paraméterlista: az azonosítást szolgálja | |||
**# előfeltétel: függvényektől mentes pozitív literálok konjunkciója | |||
**# következmény: függvényektől mentes literálok konjunkciója | |||
** hozzáadás lista: pozitív literálok listája | ** hozzáadás lista: pozitív literálok listája | ||
** törlés lista: negatív literálok listája | ** törlés lista: negatív literálok listája | ||