Open GoogleCodeExporter opened 8 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
Naurin.F...@gmail.com
Original comment by Toby.Myers@gmail.com on 26 May 2011 at 7:56
Toby.Myers@gmail.com
Original issue reported on code.google.com by
Naurin.F...@gmail.com
on 26 May 2011 at 7:39