Gunakan tujuan yang berlebihan dalam kueri

(Atas saran @ ulangi ) Pertimbangkan permintaan program murni ¹ ?- G_0. Apa gunanya jika ada pertanyaan ?- G_0, G_0.?

^{Catatan Kaki

1 Jangan tabling (agar aman), batasannya OK.

Posting sebelumnya pada subjek.}

prolog logical-purity Salah
sumber

Mengkuadratkan jumlah hasil?

Willem Van Onsem

Saya menganggap bahwa tidak ada informasi negara yang disimpan dari menjalankan tujuan secara berurutan. Dengan kata lain variasi pertanyaan tidak diperbolehkan, mis. ?- G_0(State), G_0(State).Juga tidak ada status yang diteruskan pada tumpukan dari hasil tujuan pertama ke tujuan kedua?

Guy Coder

G_0dapat berupa tujuan (murni) apa pun, termasuk, katakanlahG_0 = append(Xs,Ys,Zs)

false

@GuyCoder: diperlukan konjungsi. (Dengan G_0;G_0satu mungkin menguji efek samping atau masalah kinerja / caching / tabeling)

salah

BTW, bukannya yang G_0(State),G_0(State)agak menuliscall(G_1,State), call(G_1,State)

salah

Jawaban:

Kueri ?- G_0, G_0.membantu mengidentifikasi jawaban yang berlebihan?- G_0.

Untuk melakukannya cukup untuk membandingkan jumlah jawaban ?- G_0.dengan jumlah jawaban ?- G_0, G_0.. Tidak perlu menyimpan jawaban-jawaban itu (yang merupakan sumber kesalahan yang sering terjadi). Cukup dua bilangan bulat sudah cukup! Jika mereka sama, maka tidak ada redundansi. Tetapi jika ?- G_0, G_0.memiliki lebih banyak jawaban, maka ada beberapa redundansi. Berikut ini sebuah contoh:

p(f(_,a)).
p(f(b,_)).

?- p(X).
   X = f(_A, a)
;  X = f(b, _A).  % two answers

?- p(X), p(X).
   X = f(_A, a) 
;  X = f(b, a)
;  X = f(b, a)
;  X = f(b, _A).   % four answers
                   % thus p(X) contains redundancies

... dan sekarang mari kita perbaiki ini:

p(f(B,a)) :-
   dif(B, b).
p(f(b,_)).

?- p(X).
   X = f(_A, a), dif(_A, b)
;  X = f(b, _A).

?- p(X), p(X).
   X = f(_A, a), dif(_A, b), dif(_A, b).
;  X = f(b, _A).    % again two answers, thus no redundancy

Tidak perlu secara manual memeriksa kendala yang terlibat.

Ini dapat diperpanjang saat kami secara eksplisit mencari jawaban yang berlebihan hanya dengan menggunakan call_nth/2.

?- G_0, call_nth(G_0, 2).

Salah
sumber

Pertimbangkan permintaan program murni1? - G_0. Apa gunanya jika ada permintaan? - G_0, G_0. memiliki?

Saya melihat tidak ada manfaat dari tujuan kedua, terutama ketika optimasi rekursi ekor ( optimasi panggilan terakhir ) adalah ON .

Saya bisa menyadari masalah GC (stack / heap overflow) saat kueri sumber daya tamak dan opsi di atas MATI (misalnya saat debugging).

Saya pikir panggilan kedua adalah redundan (untuk program murni) dan harus dihilangkan oleh kompiler.

Anton Danilov
sumber