2.27. Prolog

Prolog er et deklarativt sprog med understøttelse for metaprogrammering. Det er hovedsageligt brugt i kunstig intelligens, specielt inden for naturlige sprog og logik.

Programmeringen foregår via en formel logisk beskrivelse af hvad man ønsker programmet skal opnå.