Bir Prolog programında bir yüklem olup olmadığını nasıl kontrol edebilirim?Prolog: Bir varlığın olup olmadığını nasıl kontrol edebilirim?
?- exists(some_predicate).
false.
?- assert(some_predicate).
true.
?- exists(some_predicate).
true.
Bir Prolog programında bir yüklem olup olmadığını nasıl kontrol edebilirim?Prolog: Bir varlığın olup olmadığını nasıl kontrol edebilirim?
?- exists(some_predicate).
false.
?- assert(some_predicate).
true.
?- exists(some_predicate).
true.
Sen current_predicate/1, current_predicate/2 veya predicate_property/2 kullanabilirsiniz (son için muhtemelen functor/3 gerekir): Bu gibi bir exists/1
olacağını
?- current_predicate(a/1).
false.
?- functor(A,a,1),predicate_property(A,visible).
false.
?- functor(A,a,1),current_predicate(_,A).
false.
?- assert(a(42)).
true.
?- current_predicate(a/1).
true.
?- functor(A,a,1),predicate_property(A,visible).
A = a(_G136).
?- functor(A,a,1),current_predicate(_,A).
A = a(_G122).
current_predicate/2
ve predicate_property/2
(görünür) ile eğer başarılı yüklem currrent_predicate/1
'eski moda yolu' başarısız olurken otomatik yüklenmesi ancak ISO kabul edilebilir, 012 olan/2. Eski örneklerin bazılarını yeniden kullanırken/tararken karşılaşabilirsiniz.
örnek:
?- [user].
|: app([], Y, Y).
|: app([X|Xs], Y, [X|Zs]) :- app(Xs, Y, Zs).
|: % user://1 compiled 0,15 sec, 17 clauses
true.
?- clause(app(X,Y,Z),Body).
X = [],
Y = Z,
Body = true ;
X = [_G338|_G339],
Z = [_G338|_G342],
Body = app(_G339, Y, _G342).
Bu yalnızca kamu özelliğiyle yüklemler için ISO kabul edilir! Varsayılan olarak statik kod için çalışmaz. – false