Logic Programming

Logic Programming attempts to marry mathematical logic and computer programming at a very high level. The most popular of the Logic Programming languages is Prolog, which was developed in the early 1970s. Some of the motivations and concepts behind Logic Programming, as well as Prolog itself, are introduced and discussed. A powerful trend in computing is towards ‘parallelism’ — the simultaneous use of many separate computers on a common task. Some current attempts to develop parallel Logic Programming Languages are examined.