 Keith Clark (computer scientist)

Keith Clark is a notable computer scientist recognized for his contributions to the fields of artificial intelligence and logic programming. He is particularly known for his work on Prolog, a programming language associated with artificial intelligence and computational linguistics. One of his significant contributions is the development of the "Clark Completion," a technique that enhances the capabilities of logic programming systems by applying principles from non-monotonic reasoning and logic.