This action specification has the f

This action specification has the form

action :- preconditions,
retract(affected_old_properties),
assert(new_properties).
In a nonrecursive action specification, the preconditions will not themselves contain other actions. Thus, in the example so far,


?- put_on(a,table).
yes

?- listing(on), listing(move).

on(b,c).
on(c,table).
on(a,table).

move(a,b,table).

yes

?- put_on(c,a).
no
The last goal fails since a block must have a clear top in order to be moved. Thus


?- put_on(b,table), put_on(c,a).
yes
is successful because b is moved off of c before c is moved to the top of a. Note well that action specifications do not change properties that are not affected by the action, because unaffected properties are not retracted. The task of capturing this desired behavior is called the frame problem.

Hasil (Bahasa Indonesia) 1:

Spesifikasi tindakan ini memiliki bentuk Aksi:-prasyarat, retract(affected_old_properties), assert(new_properties).Dalam nonrecursive spesifikasi tindakan, prekondisi akan tidak diri berisi tindakan lain. Jadi, dalam contoh sejauh ini, ?-put_on(a,table).Ya?-listing(on), listing(move).on(b,c).on(c,Table).on(a,Table).Move(a,b,Table).Ya?-put_on(c,a).TidakTujuan terakhir gagal karena blok harus jelas atas untuk dipindahkan. Dengan demikian ?-put_on(b,table), put_on(c,a).Yaini berhasil karena b pindah dari c sebelum c dipindahkan ke atas a. Catatan juga bahwa tindakan spesifikasi melakukan tidak mengubah properti yang tidak terpengaruh oleh tindakan, karena sifat tidak terpengaruh tidak ditarik kembali. Tugas menangkap ini perilaku yang diinginkan disebut masalah bingkai.