well if you're looking for such a thing: https://apice.unibo.it/xwiki/bin/view/Tuprolog/ https://apice.unibo.it/xwiki/bin/view/Tuprolog/ for Java http://tau-p

well if you're looking for such a thing: https://apice.unibo.it/xwiki/bin/view/Tuprolog/ https://apice.unibo.it/xwiki/bin/view/Tuprolog/ for Java http://tau-prolog.org/ http://tau-prolog.org/ for Javascript