search

t-ho / textbe

Automatically exported from code.google.com/p/textbe
0 stars 0 forks source link

BT transformation into Datalog #5

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
BT constructs are transformed into Datalog

Original issue reported on code.google.com by Naurin.F...@gmail.com on 26 May 2011 at 7:39

GoogleCodeExporter commented 9 years ago

Original comment by Toby.Myers@gmail.com on 26 May 2011 at 7:56