Burada kullandığı bazı cevaplar gördüm ve ne anlama geldiğini veya nasıl kullanılacağını bilmiyorum. Ben bir arama motoru :)Prolog'da + ne anlama geliyor?
cevap
O 'not provable' operatör var aracılığı aramaya da zor. Argümanı kanıtlanamazsa başarılı olur (ve argümanı ispat edilebilirse başarısız olur).
böylece \ + (kedi (X)) ile aynı değil (kedi (X))? –
Evet, bu sadece uygulamanızın bir detayı. http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_5.html –
SWI da kullandığı 'değil': Bu bağlantı bazı örnekler bahseder. Bence daha açık bir sözdizimi. –
O olumsuzlama ile ilgisi var. \+ Goal
, Goal
kanıtlanamazsa başarılı olur.
Ters eğik çizgi yediğiniz gibi görünüyor. Oraya geri taktım. –
böylece \ + (kedi (X)) ile aynı değil (kedi (X))? –
Evet, Carl'ın dediği gibi. –
- 1. PHP'de "&" ne anlama geliyor?
- 2. Aslında ne anlama geliyor?
- 3. , bu ne anlama geliyor?
- 4. getActivity() ne anlama geliyor?
- 5. "->" ne anlama geliyor?
- 6. Field.Index.NOT_ANALYZED_NO_NORMS ne anlama geliyor
- 7. ^{} git'te ne anlama geliyor?
- 8. kotlin'de "::" ne anlama geliyor?
- 9. "ctx" ne anlama geliyor?
- 10. DTMobileIS ne anlama geliyor?
- 11. Javascript'te ne anlama geliyor?
- 12. jQuery'de $ ([]) ne anlama geliyor?
- 13. Futex_ ne anlama geliyor?
- 14. JQuery'de ne anlama geliyor?
- 15. JSX ne anlama geliyor?
- 16. Haskell'de '@' ne anlama geliyor?
- 17. Bu ne anlama geliyor?
- 18. 'ALFKI' ne anlama geliyor?
- 19. "_" burada ne anlama geliyor?
- 20. Kısmi ne anlama geliyor?
- 21. SGBD ne anlama geliyor?
- 22. CSS'de "*" ne anlama geliyor?
- 23. AVMediaTypeMuxed ne anlama geliyor?
- 24. Swift: "_, _" ne anlama geliyor?
- 25. `hl` ne anlama geliyor?
- 26. \ u003C ne anlama geliyor?
- 27. Bu ne anlama geliyor?
- 28. [[...]] python'da ne anlama geliyor?
- 29. "Doğrusal enterpolasyon" ne anlama geliyor?
- 30. Groovy'de 'özel' ne anlama geliyor?
Prolog Sözlüğü gelecekte faydalı olabilir: http://www.cse.unsw.edu.au/~billw/prologdict.html – outis
W.r.t. Operatörün şekli, mantıksal "kanıtlanabilir" olarak genellikle bir turnike olarak yazılır: | -. Yani "gösterilemez" ifadesinde \ + \ \ uzun dikey çubuk anlamına gelir ve + 'daki dikey çubuk, olumsuzluğu ortadan kaldırır. – starblue
@starblue Bu çok uzakta lol kapalı. Neden '| +' kullanamadılar? Ya da sadece dünyanın geri kalanı gibi '' '' '' ''. – Alexander