Logic programming languages are being used extensively in the Fifth Generation Computer Project and in the areas of artificial intelligence, knowledge representation, expert systems and other reasoning systems. One very ...