Prolog er etdeklarativt sprogmed 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å.

---