 This idea can also be linked back to the battle between procedural and declarative information representation in early artificial intelligence systems.Deductive languages and their use in logic programming can also be dated to the same year when Foster and Elcock introduced Absys, the first deductive/logical programming language.Shortly after, the first Prolog system was introduced in 1972 by Colmerauer through collaboration with Robert Kowalski.