Can you convert an object-oriented language into a constraint-solving
language? No. Generic Java code has way too many structures that are
impossible to represent in Prolog, AFAIK.

Looking into Java to LISP, which is theoretically much easier but still
far from trivial, the only reference was to an off-hand comment in an
IRC chatroom (irc://freenode.net/#lisp if you were wondering). The logs
were of a recent date--September 1, 2007--so you might be able to get
something there, but don't hold your breath.

The better question to ask here is "Why do you want to go from Java to
LISP or Prolog?"

    Just rewrite your Java code in Lisp.  It should only take 10% of
the original lines of code, after all.

Regards,

Patrick

------------------------------------------------------------------------
S P Engineering, Inc.  | Large scale, mission-critical, distributed OO
                      | systems design and implementation.
         pjm@spe.com  | (C++, Java, Common Lisp, Jini, middleware, SOA)