[06:27:50] *** Quits: Lightkey (~Darklock@p200300f69713553022cf30fffe083718.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
[06:40:59] *** Joins: Lightkey (~Darklock@p200300f69713555322cf30fffe083718.dip0.t-ipconnect.de)
[06:41:00] *** ChanServ sets mode: +v Lightkey
[14:51:28] <CcxWrk> klip: Pak pročtu víc, imo potřebujeme dřív vyřešit základnější věci na který se to může hodit. Zatím píšu experimenty s klasickym Datalogem a event-calculus reprezentací a přijde mi že to docela stačí. Eventuelně budu spíš chtít linear logic variantu Datalogu.