PROLOG

PROLOG (prema engl. Programming in Logic: programiranje u logici), viši programski jezik za obradbu simbola i relacija među njima (umjesto brojčanih podataka kao u tradicionalnim programskim jezicima). Zasnovan je na formalizmima matematičke logike, pa je osnovno pomagalo za istraživanja umjetne inteligencije. U mnogim je primjenama nadomjestio programski jezik → LISP. Razradio ga je i 1970. uveo A. Colmerauer sa Sveučilišta u Marseilleu. → jezik, viši programski