Prolog'da -> operatörü nedir ve nasıl kullanabilirim?

Question

Bir kitapta okudum ama hiç açıklanmadı. Ayrıca bir programda hiç görmedim. Prolog sözdiziminin bir parçası mı? Bu ne için? Onu kullanır mısın?

Teşekkür

Answer 1

O ima temsil eder. Sağ taraf, sadece sol taraftaki taraf doğruysa yürütülür. Bu kodu varsa Böylece,

implication(X) :- 
    (X = a -> 
    write('Argument a received.'), nl 
    ; X = b -> 
    write('Argument b received.'), nl 
    ; 
    write('Received unknown argument.'), nl 
). 

Sonra buna argüman olarak farklı şeyler yazacak: (. link to documentation)

?- implication(a). 
Argument a received. 
true. 

?- implication(b). 
Argument b received. 
true. 

?- implication(c). 
Received unknown argument. 
true. 

Answer 2

Kesimin yerel versiyonu, bkz Örneğin, SWI kılavuzundaki section on control predicated. Daha çok, eğer-sonra-else (condition -> true-branch; false-branch) tarafından uygulamak için kullanılır. Durum başarılı olduğunda, gerçek daldan koşula geri dönüş veya yanlış şubeye geri dönüş yoktur, ancak eğer öyleyse geri dönme hala mümkün değildir. Bu nedenle yerel kesim veya yumuşak kesim denir.

Answer 3

Daha endişeli bir şeyler yazarak kullanmaktan kaçınmak mümkündür.

implication(X) :- 
    (
    X = a, 
    write('Argument a received.'), nl 
    ; 
    X = b, 
    write('Argument b received.'), nl 
    ; 
    X \= a, 
    X \= b, 
    write('Received unknown argument.'), nl 
). 

(. Evet bunu kullanarak herhangi bir sorun olduğunu düşünmüyorum ama patronum nedense bu konuda paranoyak oldu, bu nedenle daima yukarıda yaklaşımı kullanılır)

: Ben Stephan's yüklemi yeniden Eğer

Her iki sürümde, özellikle de çok sayıda şubeniz varsa, kapsamayı düşündüğünüz tüm vakaları kapsadığınız konusunda dikkatli olmanız gerekir.

ETA: Bu, implication(X) varsa, geri izlemeden dolayı, Stephan'ın tamamen eşdeğer olup olmadığından emin değilim. Fakat şu anda kontrol etmek için bir Prolog yorumcüm yok.