29 Sep
2004
29 Sep
'04
9:16 p.m.
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
29 Sep
29 Sep
9:25 p.m.
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
10:26 p.m.
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
10:31 p.m.
Félreértesz. Én az elméletet írtam, nem a megoldást. Azt csinálja mindenki
maga. Ez is biztos jó, de most már túl fáradt vagyok...
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: Thursday, September 30, 2004 12:27 AM
To: A Nagyhatékonyságú Logikai Programozás c. tárgy listája
Subject: Re: [NHLP-l] +(A,B,1)
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
_______________________________________________
NHLP-l mailing list
NHLP-l(a)cs.bme.hu
http://cs.bme.hu/mailman/listinfo/nhlp-l
7232
days inactive
7232
days old
3 comments
2 participants
participants (2)
-
Dávid Róbert -
Mészáros Krisztián