Nah, akkor válaszoljak magmnak, meg neked is :)
De lehet, azóta rájöttem. Csináltam egy külön klózt, és blokkolom, ha
mindkettő ismeretlen. Ha az egyik megvan, akkor meg azonnal kidobja a
másikat, ha fögg tőle, ha nem, akkor meg csak "simán" teljesül.
Bob
----- Original Message -----
From: "Mészáros Krisztián" <mk491(a)hszk.bme.hu>
To: "'A Nagyhatékonyságú Logikai Programozás c. tárgy listája'"
<nhlp-l(a)cs.bme.hu>
Sent: Wednesday, September 29, 2004 11:25 PM
Subject: RE: [NHLP-l] +(A,B,1)
Sehogy. Ha E 1, akkor nem tudsz semmit...
Ha még ezen felül valamelyik változó 0, akkor a másik csak 1 lehet.
Egyébként megint nem tudsz semmit.
Chris
-----Original Message-----
From: nhlp-l-bounces(a)cs.bme.hu [mailto:nhlp-l-bounces@cs.bme.hu] On Behalf
Of Dávid Róbert
Sent: Wednesday, September 29, 2004 11:17 PM
To: A Nagyhatékonyságú Logikai Programozás c. tárgy listája
Subject: [NHLP-l] +(A,B,1)
Hali!
Ha mar erdeklodes:
Ugye van a +(A,B,0), aminek az az eredmenye, hogy A=0, B=0, le kell
futnia,
tehat a +(A,B,nonvar) esetet nem blokkolhatom sem when, sem block
hasznalataval.
Viszont van a +(A,B,1), amire most igy konretan otletem nincs. Valami
olyat
kellene megfogalmazni, hogy ha ismerjuk az egyiket, akkor a masik vagy
egy,
vagy barmi, attol fuggoen, hogy mi a masik.
Es ezt hogyan?
Bob
_______________________________________________
NHLP-l mailing list
NHLP-l(a)cs.bme.hu
http://cs.bme.hu/mailman/listinfo/nhlp-l
_______________________________________________
NHLP-l mailing list
NHLP-l(a)cs.bme.hu
http://cs.bme.hu/mailman/listinfo/nhlp-l