Comment author: akkartik 13 June 2009 10:31:08PM *  9 points [-]

One of my professors at UT reimplemented AM many years ago. I dusted it off and got it to compile with GNU prolog last christmas. Never got around to doing anything with it, though.

http://github.com/akkartik/am-utexas/tree/master