deduktivní mechanismy

deduktivní mechanismy, teorie počítačů kvalitativně nový rys programovacích jazyků v oblasti umělé inteligence. Ve větší či menší míře programátor specifikuje pouze to, co chce provést (cíl) bez bližšího určení, jak to má být provedeno, tj. bez určení příslušného algoritmu (PLANNER, POP-2, LISP, PROLOG). V.t. logické programování; procedurální a deklarativní jazyk.