Deklarativ programmering
Från Rilpedia
Version från den 18 november 2008 kl. 12.23 av ArthurBot (Diskussion)
Deklarativ programmering är samlingsnamnet för funktionell programmering och logikprogrammering. Dessa utmärks av att program innehåller deklarationer av funktioner definierade i termer av varandra, och företrädesvis är rekursiva. En programkörning är en beräkning av ett uttryck. Den dator som sist och slutligen utför beräkningen är bortabstraherad.