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...
Aug 20, 20221 min read38
