Cílem předmětu je seznámit studenty se základy logického programování a naučit je programovat jednoduchá aplikace v jazyce PROLOG.