March 2012 - cells-devel - mailman3.common-lisp.net

Re: [cells-devel] TripleCells: A new twist to the unbound variable CACHE challenge ...
by Kenneth Tilton 22 Mar '12

22 Mar '12

On 3/21/2012 3:44 PM, Frank Goenninger wrote: >>> Von: Kenneth Tilton<kentilton(a)gmail.com> >>> Datum: 21. März 2012 14:57:23 MEZ >>> An: Frank Goenninger<frgo(a)me.com> >>> Betreff: Re: [cells-devel] Triple Cells: AllegroGraph 4.5 "porting" >>> >>> Sorry, we went so late last night I completely forgot about this. I'll keep trying to find time (and keep sending me emails so I remember to). I will try to dig thru the below. >>> >>> Do I gather there is a new error now about CACHE? I do not even recognize that. > After a full recompile I get another error: > Error: Attempt to take the value of the unbound variable `CACHE'. > > Note: Not cache? but cache ... > > Digging into the 3c code reveals: > > The cell rule gets stored as a string. This is done in #'3c? : > > (defmacro 3c? (rule&key test ephemeral observer) > `(call-3c? '(lambda (node cache cache?) ;;<<<<<<<<------ This is the "offending" LoC ... > (declare (ignorable cache cache?)) > (let ((*calc-nodes* (cons node *calc-nodes*))) > ,rule)) ;;<<<<<<<<<------ There cache is not defined anymore - see below for explanation ... > :test ,test > :observer ,observer > :ephemeral ,ephemeral)) > > When running #'test-prep I get the following last lines in a trace: > > 0> 3c?-rule: got rule "(lambda (triple-cells::node triple-cells::cache triple-cells::cache?) > (declare (ignorable triple-cells::cache triple-cells::cache?)) > (let ((triple-cells::*calc-nodes* > (cons triple-cells::node triple-cells::*calc-nodes*))) > (let ((h (3c (3c-find-id \"dell\") !hw:happen))) > (trc \"rule sees happen\" h) > (cond ((string-equal h \"arrive\") \"home\") > ((string-equal h \"leave\") \"away\") > (triple-cells::cache? cache) > (t \"away\")))))" > > I can't see what is wrong with this... cache needs the explicit package as well: (cond ((string-equal h \"arrive\") \"home\") ((string-equal h \"leave\") \"away\") (triple-cells::cache? triple-cells::cache) ;;<-- need package on both (t \"away\")))))" HTH, ken

1 0

[cells-devel] Triple Cells: AllegroGraph 4.5 "porting"
by Frank Goenninger 20 Mar '12

20 Mar '12

Hi Kenny, I just began using Triple Cells. We have planned a rather large AllegroGraph-based implementation and as a fan of Cells I am porting Triple Cells to AllegroGraph 4.5. I am running in a situation where I get a problem with 3c-pulse-advance: (I have instrumented 3c a bit ...;-) 0> PULSE> ---- advancing: (:change) 0> 3c-make storing type !hw:computer future-part 0> 3c-in nil t equal !hw:echo-happen {_:anon4} 0> stmt-new called with {_:anon3} !hw:happen {_:anon4} {_:anon4} 0> stmt-new (3c-cell? o) <_:anon4 type input> 0> 3c-install-cell called with s p o {_:anon3} !hw:happen {_:anon4} 0> subject-cells-node called with s = {_:anon3} 0> subject-cells-node tr nil 0> subject-cells-node new-blank-node {_:anon5} 0> subject-cells-node (add-triple s !ccc:cells n) 13 0> 3c-install-cell subject-cells-node s = {_:anon5} 0> subject-cells-node called with s = {_:anon3} 0> subject-cells-node tr <_:anon3 cells _:anon5> 0> subject-cells-node (object tr) = {_:anon5} 0> 3c-install-cell (add-triple (subject-cells-node s) p o) 14 0> 3c-install-cell (add-triple o !ccc:is-cell-of-model s) 15 0> 3c-install-cell (add-triple o !ccc:is-cell-of-predicate p) 16 0> stmt-new called with {_:anon3} !hw:location {_:anon6} {_:anon6} 0> stmt-new (3c-cell? o) <_:anon6 type ruled> 0> 3c-install-cell called with s p o {_:anon3} !hw:location {_:anon6} 0> subject-cells-node called with s = {_:anon3} 0> subject-cells-node tr <_:anon3 cells _:anon5> 0> subject-cells-node (object tr) = {_:anon5} 0> 3c-install-cell subject-cells-node s = {_:anon5} 0> subject-cells-node called with s = {_:anon3} 0> subject-cells-node tr <_:anon3 cells _:anon5> 0> subject-cells-node (object tr) = {_:anon5} 0> 3c-install-cell (add-triple (subject-cells-node s) p o) 22 0> 3c-install-cell (add-triple o !ccc:is-cell-of-model s) 23 0> 3c-install-cell (add-triple o !ccc:is-cell-of-predicate p) 24 0> stmt-new called with {_:anon3} !hw:response {_:anon7} {_:anon7} 0> stmt-new (3c-cell? o) <_:anon7 type ruled> 0> 3c-install-cell called with s p o {_:anon3} !hw:response {_:anon7} 0> subject-cells-node called with s = {_:anon3} 0> subject-cells-node tr <_:anon3 cells _:anon5> 0> subject-cells-node (object tr) = {_:anon5} 0> 3c-install-cell subject-cells-node s = {_:anon5} 0> subject-cells-node called with s = {_:anon3} 0> subject-cells-node tr <_:anon3 cells _:anon5> 0> subject-cells-node (object tr) = {_:anon5} 0> 3c-install-cell (add-triple (subject-cells-node s) p o) 31 0> 3c-install-cell (add-triple o !ccc:is-cell-of-model s) 32 0> 3c-install-cell (add-triple o !ccc:is-cell-of-predicate p) 33 0> cell-model called with c = {_:anon7} 0> cell-model object {_:anon3} 0> subject-cells-node called with s = {_:anon3} 0> subject-cells-node tr <_:anon3 cells _:anon5> 0> subject-cells-node (object tr) = {_:anon5} 0> subject-cells-node called with s = {_:anon3} 0> subject-cells-node tr <_:anon3 cells _:anon5> 0> subject-cells-node (object tr) = {_:anon5} 0> 3c-cell-pulse: c = {_:anon6} 0> 3c-cell-pulse: sp = nil 0> 3c-cell-pulse: sp is NIL ! It would help if you could shed some light on this ... (I know you have other stuff to do but still ;-) TIA! Hope all is fine on your side. Missing you on c.l.l. ... Cheers Frank

2 6

[cells-devel] functional programming
by Dan Lentz 19 Mar '12

19 Mar '12

I'm an extreme newbie to cells and have just begun reviewing the literature so this may be a FAQ, but in general how does cells relate to "functional" programming practice? My first reaction is that is seems antithetical, as it inherently introduces state and eliminates referential transparency. However if one looks at it as a declarative approach in making statements about relations, perhaps not. maybe it can therefore be used in a functional style along the same lines as standard clos/mop, which can also be considered stateful if evaluated at the level of the individual sub protocols etc. Really my question is "is cells something one should consider if otherwise one has worked hard to achieve functional style practices?" ---- Replace the method the carefully chosen name deletes the comment

3 2

[cells-devel] Additional info AllegroGraph 4.5 porting: Screendump of RDF DB
by Frank Goenninger 18 Mar '12

18 Mar '12

.... see attached screendump. TIA again. Cheers Frank

1 0