বিশুদ্ধ হর্ন ক্লজ, এটি শুধুমাত্র ইত

বিশুদ্ধ হর্ন ক্লজ, এটি শুধুমাত্র ইতিবাচক সিদ্ধান্তে প্রমাণ করা সম্ভব হয়; Prolog কিছু ক্ষেত্রে যদি প্রমাণ করতে পারে, কিন্তু এমন কিছু নয় কখনো. যাইহোক, কিছু পরিস্থিতিতে, intuitively Prolog একটি লক্ষ্য প্রমাণে ব্যর্থ যথা যারা যা একটি নেতিবাচক উপসংহার পৌঁছনো হিসাবে একই চরিত্র আছে. আমরা Prolog সত্য কিছু প্রমাণ করতে পারবে না, তাহলে এটা মিথ্যা হতে হবে যে অনুমান করা হতে পারে. এই ধৃষ্টতা অন্তর্নিহিত Prolog দেওয়া লক্ষ্য প্রমাণ করতে পারে নি যা থেকে Prolog প্রোগ্রাম ব্যাখ্যার তার উদ্দীষ্ট ডোমেইন সম্পর্কে সম্পূর্ণ তথ্য রয়েছে যে ধারণা.

Results (English) 1:

Pure Horn clauses, it is only possible to prove that a positive decision; Prolog in some cases to prove, but it is not something that ever. However, in some situations, intuitively Prolog failed to prove a goal, namely those which have the same character as reaching a negative conclusion. Prolog is not something we can prove, you might assume that it would be false. The underlying assumption of this goal could prove Prolog Prolog program which includes complete information about the interpretation of the notion that the intended domain.