Gal Tamas Zoltan <gtz(a)ludens.elte.hu> writes:
Kérdés:
Az 1. khf kapcsán hogyan lehet elérni, hogy egy hívást, amely egy csupán
változókból álló tetszõleges hosszú listát tartalmaz, addig blokkoljunk,
ameddig a lista VALAMELYIK változója be nem
helyettesítõdik????????????????
(Dinamikus programozás? :) )
Üdv
GTZ
Generald le a nonvar funktorba csomagolt valtozokbol a ';'
operatorral felepitett kifejezest, es azt adjad a when/2-nek, lasd alabb.
-SzP
| ?- when((nonvar(X);nonvar(Y);nonvar(Z);nonvar(V)), write([X,Y,Z,V])), X = 1.
[1,_1238,_1243,_1248]
X = 1 ?
yes
| ?- when((nonvar(X);nonvar(Y);nonvar(Z);nonvar(V)), write([X,Y,Z,V])), Y = a.
[_1233,a,_1243,_1248]
Y = a ?