Background of Prolog | Intellipaat

Theorem provers and other automated deduction systems that were developed in the 1960s and 1970s are part of the heritage of prologue. The Prolog's Inference Mechanism is based on Green's Answer Extraction Mechanism and Robinson's Resolution Principl...