[m-dev.] cvs diff: Web page fixes.

Zoltan Somogyi zs at cs.mu.oz.au
Mon Apr 21 17:35:36 AEST 1997


>  is the queens benchmark after it has been put through
>  the source-to-source transformation of Seki and Furukawa
>  from the Proceedings of the Fourth IEEE Symposium on Logic Programming.
> +(Note: cqueens uses the source code for queens, with constraint propagation
> +defined).

Say

(Note: cqueens uses the source code for queens,
but defines a macro that selects different versions of some predicates).

Zoltan.



More information about the developers mailing list