Logic programming that computational steps cannot be logically deduced. However, in concurrent logic programming, any result of a terminating computation is a logical consequence of the program, and any partial result of a partial computation is a logical consequence of the program and the residual goal (process network). Consequently, the indeterminacy of computations implies that not all logical consequences of the program can be deduced. Concurrent constraint logic programming combines concurrent logic programming and constraint logic programming, using constraints to control concurrency. A clause can contain a guard, which is a set of constraints that may block the applicability of the clause.
More Maths Grads at the University of Birmingham, and three institutions developed the materials and the liaison with their local schools. The institutions were Queen Mary, University of London, Coventry University, Leeds University. Sheffield Hallam University joined the project later. More Maths Grads More Maths Grads was a three-year project run from 2007 to 2010 by a consortium of British mathematics organisations, including the London Mathematical Society, the Institute of Mathematics and its Applications, the Royal Statistical Society, the Maths, Stats & OR Network and HoDoMS, the Heads of Departments of Mathematical Sciences. Funding of £3.3M was provided by the Higher Education Funding