Update jsprolog.js