Logic programming on the JVM and Javascript · HackerTrans