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: Programozási paradigmák összehasonlítása. Prolog. DrRacket. Korlátalapú programozás.