United Nations Security Council resolution | resolution | United Nations Security Council Resolution 1267 | United Nations Security Council Resolution 1373 | United Nations Security Council Resolution | Resolution (law) | Resolution | Image resolution | Gulf of Tonkin Resolution | Display resolution | United Nations Security Council Resolution 1559 | Optical resolution | Iraq resolution | HMS ''Resolution'' | Address Resolution Protocol | United Nations Security Council Resolution 418 | United Nations Security Council Resolution 1973 | United Nations Security Council Resolution 1822 | United Nations Security Council Resolution 1566 | United Nations Security Council Resolution 1484 | United Nations Security Council Resolution 1196 | United Nations Security Council Resolution 1170 | Springer resolution | Reverse Address Resolution Protocol | joint resolution | Iraq Resolution | HMS Resolution (Cook) | HMS Resolution | Final Resolution | Dispute Resolution |
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.