]> hydra-www.ietfng.org Git - dyna2/commit
ground backward chaining!
authorTim Vieira <tim.f.vieira@gmail.com>
Wed, 19 Jun 2013 04:05:35 +0000 (00:05 -0400)
committerTim Vieira <tim.f.vieira@gmail.com>
Wed, 19 Jun 2013 04:05:35 +0000 (00:05 -0400)
commit882df6b3f8b1a0ff4aac78b72e262e445539e425
tree8381069e4c7a7a86e100b1462fb0eb1c2739ff3b
parentdb2f5736df7bfcd33d8f0fe5bddbc068beda59df
ground backward chaining!
examples/ptb.dyna
src/Dyna/Backend/Python/Backend.hs
src/Dyna/Backend/Python/interpreter.py