Tau Prolog[0] runs in the browser, but it's still a bit heavy for forms. What someone needs to do is take an implementation of Hitchhiker Prolog[1] like this o

Tau Prolog[0] runs in the browser, but it's still a bit heavy for forms. What someone needs to do is take an implementation of Hitchhiker Prolog[1] like this one[2] – because it's so lightweight – and make it JavaScript developer friendly so one can use it on a web page without a second thought. [0] http://tau-prolog.org http://tau-prolog.org [1] http://www.cse.unt.edu/~tarau/research/2017/eng.pdf http://www.cse.unt.edu/~tarau/research/2017/eng.pdf [2] https://github.com/CapelliC/hitchhicker-prolog https://github.com/CapelliC/hitchhicker-prolog