ব্যর্থতা হিসেবে অস্বীকৃতি Prolog এক

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

Results (English) 1:

Prolog is a complete negation as failure to provide proof method, because of the failure of the closed world under the assumption that a reasonable interpretation of the evidence; That, Prolog a target when there is no evidence to conclude there is no will. However, some are more subtle understanding of the foregoing discussion.