Buddha. Main link is directly to an example in the manual. Declarative languages should use declarative debuggers, no?!
disclaimer: the project may include a bit of code i wrote once in the examples directory, but i hope that hasn't influenced my decision to post here!
[Psst - people reading just the front page: don't forget to check discussions for other topics]
Posted to Logic/Declerative by andrew cooke on 6/5/03; 4:17:00 PM