Er bestaan verschillende methoden (en technieken) van  programmeren. Binnen de AI neemt het logisch programmeren een belangrijke plaats in.

Allereerst leren de studenten programmeren in de programmeertaal Prolog, die gebaseerd is op logisch  programmeren. In deze taal kan men op een heel directe manier kennis  representeren (declaratief), waarbij de  algoritmen om deze kennis toe te passen (procedureel) in hoge mate aan de computer kunnen worden overgelaten.

Verder wordt ook de theorie van het logisch programmeren behandeld (trefwoorden: resolutie, unificatie, horn clause) en worden verschillende AI technieken in prolog besproken (zoals natuurlijke taalanalyse, expertsystemen, zoekalgoritmen).