The meta-interpreter supports tabled LP and coinduction. Download from here: http://www.utdallas.edu/~gupta/meta.tar.gz. Please send me an email at [email protected], if you download the meta-interpreter.