Programming paradigm that expresses the logic of a computation without describing its control flow
Currently, there are no issues on this topic. Create one.