title: Prolog SLD-Tree generator
body: <p>I was given the task to write a tool that visualizes the SLD-Tree for a given Prolog-program and query.
  So since I'd rather not implement a whole Prolog-parser and interpreter myself, I am looking for a library or program which generates that tree for me, so that I only need to do the visualization part.
  The best case would be a C++ library, but something in any common language would do (or a program which outputs the tree as xml document, or anything alike)
  So far I could not find anything, so I place my hopes on you guys.</p>
  
  <p>Best regards
  Uzaku</p>