In http://cs.calstatela.edu/~wiki/index.php/Courses/CS_460/Fall_2005/Concurrent_logic_programming_in_Oz
, I attempt to give a brief description of concurrent logic programming in Oz. The first (and main) part is explicitly procedural. Its procedurality bothered me enough to prompt an attempt to offer a declarative interpretation. This seems somewhat unusual in that it offers a declarative version of logic programming in terms of a procedural version rather than the other way around.
If anyone has any comments, I'd be very interested.
-- Russ
_____________________________________________
Professor, Computer Science
California State University, Los Angeles
o Check out my blog at http://russabbott.blogspot.com/
_____________________________________________
Professor, Computer Science
California State University, Los Angeles
o Check out my blog at http://russabbott.blogspot.com/
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
