programspråk där programmeraren anger vad som ska göras, inte hur det ska gå till. (Se deklarativ programmering.) Programmeraren anger vilka villkor som problemets lösning ska uppfylla, inte hur man kommer fram till lösningen. – Deklarativa språk används inom artificiell intelligens. Det mest kända deklarativa programspråket är Prolog. – Alternativ är procedurspråk och, på en högre abstraktionsnivå, objektorienterade språk.
[ai] [programspråk] [ändrad 4 juni 2013]