Oktatási cél: A tárgy célja a deklaratív programozási paradigmába történő bevezetés annak érdekében, hogy alapokat nyújtson a korlátalapú programozás és a mesterséges intelligencia egyes területeinek tanulmányozásához.
Tematika: A programozási paradigmák összehasonlításának bemutatása, valamint a deklaratív programozás gyakorlati megismerése a DrRacket és a Prolog eszközök segítségével.