EntityQ3459697· pop 5· linked from 23 articlesSLD resolutionSign in to savethe basic inference rule used in logic programmingConnectionsHorn clauseEntityempty setEntityPrologEntitypropositional calculusEntitystackEntitydepth-first searchEntitybreadth-first searchEntitylogic programmingEntitybacktrackingEntityrule of inferenceEntityunificationEntitysoundnessEntityresolutionEntitybranch and boundEntitybest-first searchEntitysearch treeEntitycompletenessEntityRobert KowalskiEntitybackward chainingEntityJohn Alan RobinsonEntityCategoriesLogic programmingRules of inference