Declarative Languages

Tags

comp-sci

A class of 5th generation languages where a program specifies what computation is to be done. Example ML, Prolog, Haskell.