[cells-devel] Thought For Someone Who Would Use Cells to Do Prolog

[Marco Antoniotti]

As an aside, any Prolog implementation needs a good unification routine.

Now, you also want a good unification routine that does CL objects 
properly.

So you cannot help but using the CL-UNIFICATION package from 
http://common-lisp.net/project/cl-unification

I know it is a shameless plug, but you simply cannot avoid it :)

Cheers
--
Marco




On May 26, 2005, at 12:20 AM, Kenny Tilton wrote:

> If your Prolog-in-CL uses  slot readers/accessors, dependencies will 
> arise. So the position (or whatever GUI layout attribute you have in 
> mind) can be calculated by a cl-prolog operating over CLOS instances 
> via CLOS slot accessor GFs, and the necessary dataflow will arise 
> naturally.
>
> The invocation of the cl-prolog computation will have to require 
> dynamic insertion of initializing/configuring facts. The cell rule 
> calculating the result will specify these facts from other cell 
> values, and supply the calculating form. This then neatly embeds 
> Prolog within Cells, with the Prolog both driving and driven by Cells. 
> Yet one gets (I presume) the greater performance from a dedicated 
> prolog working on a fixed set of facts (for the duration of a single 
> calculation).
>
> Not very sure of the above, btw.
>
> kenny
>
> -- 
> Cells? : http://www.common-lisp.net/project/cells/
> Cello? : http://www.common-lisp.net/project/cello/
> Cells-Gtk? : http://www.common-lisp.net/project/cells-gtk/
> Why Lisp? http://lisp.tech.coop/RtL%20Highlight%20Film
>
> "Doctor, I wrestled with reality for forty years, and I am happy to 
> state that I finally won out over it." -- Elwood P. Dowd
>
>
>
> _______________________________________________
> cells-devel site list
> cells-devel at common-lisp.net
> http://common-lisp.net/mailman/listinfo/cells-devel
>
--
Marco Antoniotti					http://bioinformatics.nyu.edu
NYU Courant Bioinformatics Group		tel. +1 - 212 - 998 3488
715 Broadway 10th FL				fax. +1 - 212 - 998 3484
New York, NY, 10003, U.S.A.