Pertanyaan yang diberi tag «prolog»

Tertutup . Pertanyaan ini perlu lebih difokuskan . Saat ini tidak menerima jawaban. Ingin memperbaiki pertanyaan ini? Perbarui pertanyaan sehingga hanya berfokus pada satu masalah dengan mengedit posting ini . Tutup 3 tahun lalu . Perbaiki pertanyaan ini Ketika saya ingin membaca tentang logika pemrograman, saya selalu menemukan dua cara …

124 prolog  logic-programming  minikanren 

(Atas saran @ ulangi ) Pertimbangkan permintaan program murni 1 ?- G_0. Apa gunanya jika ada pertanyaan ?- G_0, G_0.? Catatan Kaki 1 Jangan tabling (agar aman), batasannya OK. Posting sebelumnya pada subjek.

12 prolog  logical-purity 

Saya bermain-main dengan predikat prolog-coroutiningfreeze/2 dan frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (versi 4.5.1 untuk x86_64) memberikan jawaban ini: | ? - bekukan (X, a = a), beku (X, Sasaran). Sasaran = prolog: membekukan (X, pengguna: (a = a)) , prolog: membekukan (X, pengguna: (a = …

11 prolog  sicstus-prolog  prolog-coroutining