This is SWI-Tinker, a version of SWI-Prolog compiled to WASM

Beta version. See Wiki on Discourse for status and usage