The interactive bddbdd solver seems not working?

[Zell]

I am trying to interactively study a .dlog file using this command

ant -Dwork.dir=examples/_dlog/ -Ddlog.file=examples/_dlog/1.dlog solve

in which examples/1.dlog is my datalog file.

But, it doesnot give me any possibility to interactively query
relations, with this message:
******************
[java] Initializing BDD library (500000 nodes, cache size 125000,
min free 0.2%)
[java] Using BDD library BuDDy - release 2.4 rev1.13
[java] No machine learning library found, learning disabled.
[java] Reading /Users/zell/Documents/workspace5/chord_test/jchord-
read-only/main/examples/_dlog/1.dlog...
[java] Welcome to the interactive bddbddb Datalog solver!
[java] Type a Datalog rule or query, or "help" for help.
****************
then, no matter what I type, it gives no results.

Is it a bug or probably I misuse something here?

[Mayur Naik]

The ant target is "debug", not "solve".  Run "ant" to see all the targets and their meaning:

     [echo] solve     Run bddbddb (BDD-based Datalog solver)

     [echo]          Required properties:

     [echo]          - work.dir   (dir containing input/output BDD files)

     [echo]          - dlog.file  (file specifying Datalog program)

     [echo]          Optional properties:

     [echo]          - max.heap   (default=2048m)

     [echo]          - max.tuples (default=1000)

     [echo]          - verbose    ([0..6]; default=4)

     [echo] debug     Run bddbddb's interactive interpreter

     [echo]          Required properties:

     [echo]          - work.dir   (dir containing input/output BDD files)

     [echo]          - dlog.file  (file specifying Datalog program)

     [echo]          Optional properties:

     [echo]          - max.heap   (default=2048m)

     [echo]          - max.tuples (default=1000)

     [echo]          - verbose    ([0..6]; default=4)

--
You received this message because you are subscribed to the Google Groups "chord-discuss" group.
To post to this group, send email to chord-...@googlegroups.com.
To unsubscribe from this group, send email to chord-discus...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/chord-discuss?hl=en.