Order of the British Empire | Order of Australia | Law & Order | Order of the Bath | Order of St Michael and St George | Dominican Order | Royal Victorian Order | Law & Order: Special Victims Unit | Distinguished Service Order | Order of Canada | Order of the Garter | New Order | Order of Saint Benedict | Order of Friars Minor Capuchin | Order of the Crown of Italy | order | Independent Order of Odd Fellows | Royal Guelphic Order | Law & Order: Criminal Intent | Order of St. Olav | Order of St. Gregory the Great | Venerable Order of Saint John | Order of the Star of India | Corinthian order | Order of the Indian Empire | United Nations Security Council resolution | resolution | Order of the Rising Sun | Order of St. Anna | Order of the Polar Star |
The possibility of carrying out proof search based on resolution, the essential insight leading to the Prolog programming language, depends upon the admissibility of Cut in the appropriate system.