In fact , the resolution of a goal clause with a definite clause to produce a new goal clause is the basis of the SLD resolution inference rule , used to implement logic programming in the programming language Prolog .
In fact , the resolution of a goal clause with a definite clause to produce a new goal clause is the basis of the SLD resolution inference rule , used to implement logic programming and the programming language Prolog .