Ad ": -" infix operatörü

Question

": -" Aşağıdaki bağlamda, kabaca anlamı, Prolog mantık programlama dilinde bir infix operatörü olarak hizmet eder:

H :- B1, B2, ... BN 

H kanıtlanabilir olan cisimler B1 aracılığıyla eğer BN'un hepsi erişilebilir.

Biraz dikkat çekicidir, tüm zamanımda Prolog'u incelerken, bu simgeye bir isim atamayı ihmal ettim. :- için üzerinde anlaşılan ismin ne olduğunu bilen var mı? öyle üzerine

Answer 1

:- işareti bir iması okunu temsil eder. Mantıksal sembollerle seni örnek yazarsanız o okur:

H ← B1 ∧ B2 ∧ ... ∧ Yani BN

da söyleyebiliriz: "H B1 ve B2 ve ima ettiği ... ve BN "veya" Kuralın bedeni kafasını ima eder. " Ayrıca, operatörün kendisini “imalama oku” veya sadece “ima” olarak adlandırmak da doğrudur.

Answer 2

ben kabul emin değilim, ama burada "boyun" olarak adlandırma bir referans var:

http://www.cse.unsw.edu.au/~billw/prologdict.html#neck