السلام عليكم ورحمه الله وبركاته
هذه اول مشاركه لى فى هذا القسم اتمنى ان اكون ضيفا خفيفا ان شاء الله
انا استخدم برنامج visual prolog 5.2 .. ,وتواجهنى بعض المشكلات الخاصه بتتبع
سير البرنامج للحصول على الناتج الصحيح مثال : هذا برنامج لتحديد وجود عنصر داخل قائمه او list
list = integer *
predicates
nondeterm member(integer,list)
clauses
member(X,[H|T]):-
X = H.
member(X ,[H|T]):-
member(X,T).
goal
member(1,[1,2,3,4,5]).
domains
والناتج عباره عن نعم او لا حسب وجود العنصر فى الفئه
ولكن انا لا اعرف مثلا ما الخطأ فى هذا الكود
clauses member(X,[H|T]):- X = H, member(X,[T]).
فالناتج داثما لا
خلاصه : كيف استطيع تتبع خاصيه الباك تراكينج او backtracking للبرولوج للحصول على الناتج الصحيح دون كثره المحاولات؟؟
