«prolog» etiketlenmiş sorular

Kapalı . Bu soruya daha çok odaklanılması gerekiyor . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek mi istiyorsunuz? Soruyu yalnızca bu gönderiyi düzenleyerek tek bir soruna odaklanacak şekilde güncelleyin . 3 yıl önce kapalı . Bu soruyu geliştirin Mantık programlamasını okumak istediğimde, bugünlerde bunu yapmanın iki "ana" yolunu hep …

124 prolog  logic-programming  minikanren 

(Upon @repeat önerisi bir bir sorgu düşünün) saf programı 1 ?- G_0. sorgu ne işe yarar varsa olur ?- G_0, G_0.var? Dipnotlar 1 Sekme yok (güvenli olmak için), kısıtlamalar TAMAM. Konuyla ilgili önceki yazı .

12 prolog  logical-purity 

Ben oynamalar prolog-coroutining yüklemleri freeze/2ve frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (x86_64 için sürüm 4.5.1) şu cevapları verdi: | ? - donma (X, a = a), donma (X, Hedef). Hedef = prolog: dondurma (X, kullanıcı: (a = a)) , prolog: dondurma (X, kullanıcı: (a = a))? …

11 prolog  sicstus-prolog  prolog-coroutining