Jason seems like the most stable of available implementations, still actively maintained and well documented: https://github.com/jason-lang/jason