I'd recommend Logtalk ( http://en.wikipedia.org/wiki/Logtalk ) when
thinking about Prolog-based systems. Yield Prolog (
http://sourceforge.net/projects/yieldprolog/ ) is an interesting embedding
of Prolog into procedural languages using 'yield'. A little bit of
syntactic sugar could probably go a long way towards integrating the two
programming methodologies. JMatch (
http://www.cs.cornell.edu/Projects/jmatch/ ) is another interesting take on
"backward execution".
--scott
--
( http://cscott.net )
_______________________________________________
fonc mailing list
fonc@vpri.org
http://vpri.org/mailman/listinfo/fonc
