একটি লক্ষ্য প্রমাণ করা যায় না হয়,

একটি লক্ষ্য প্রমাণ করা যায় না হয়, তাহলে Prolog একটি ব্যর্থতার উত্তর দিয়ে বিনষ্ট হতে পারে, অথবা এটি লুপ চিরকালের (সম্পদ সীমাবদ্ধতা উপেক্ষা!) করতে পারে. কারণ তার একেবারে বামের-আক্ষরিক নির্বাচন শাসনের, Prolog এমনকি লক্ষ্য আসলে লুপ, যার জন্য একটি দ্বি FF erent নির্বাচন নিয়ম সঙ্গে একটি প্রমাণ পদ্ধতি ব্যর্থতার সাথে সাথে সমাপ্ত হবে পারে. সাধারণভাবে, একটি লক্ষ্য প্রমাণ পদ্ধতি লক্ষ্য জন্য ব্যর্থতার সঙ্গে অবসান ঘটে তাহলে (একটি প্রোগ্রাম থেকে সম্মান সঙ্গে) ব্যর্থ ফাই nitely হয়.

Results (English) 1:

A goal can not be proved, it could be destroyed by the Prolog is a failure, or loop forever (resource constraints that!) Could. Literally, because the left-selection rule, Prolog is the goal of the loop, which is a standard method with a double FF erent rules of the failure can be completed. In general, a standard system for the goal came to an end with the failure of the (with respect to a program) is not fi nitely.