The paper argues specifically against Prolog because it is not a "pure" control-agnostic language. a = 1; b = 2; The programmer does not need to concern

The paper argues specifically against Prolog because it is not a "pure" control-agnostic language. a = 1; b = 2; The programmer does not need to concern themselves with the order of these two assignment statements and when languages impose the order, it adds unnecessary complexity to the system. (especially when thinking about concurrency)