It was developed in 1972 by Alain Colmerauer and Phillippe Roussel based on Robert Kowalski’s procedural interpretation of Horn Clauses,…