بالنظر إلى عددين طبيعيين n وk، فإن k هو الجذر التربيعي الصحيح لـ n إذا كان k ∗ k ≥ n و (k +
1) ∗ (ك + 1) > ن. اكتب مسند Prolog أحادي\_sqrt(N,K) مع الوضع الأحادي\_pow(+,-)
والذي ينجح إذا وفقط إذا كان K هو العدد الصحيح الجذر التربيعي لـ N، حيث N وK أحاديان
أعداد. قد تفترض أن N وK يمثلان تمثيلاً قانونيًا للأعداد الطبيعية
التدوين الأحادي. يجب أن ينتج عن تنفيذك تمثيلات قانونية أيضًا.
?- أحادي\_sqrt(s(s(s(s(0)))), K).
ك = ق(ق(0));
خطأ شنيع.
?- أحادي\_sqrt(s(s(s(s(s(0))))),K).
ك = ق(ق(0)) ;
خطأ شنيع.
{"source": "ewof/sharegpt-instruct-unfiltered-deduped", "kind": "human", "evolved_from": null}