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@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.