Describir: Explicitná reprezentácia programátorských znalostí a ich použitie pri návrhu programu :