SWI-Prolog WebAssembly build test