Feat/image generation utilities

.gitignore

@@ -6,3 +6,5 @@ examples/webpack/node_modules
 examples/webpack/public/*.data
 examples/webpack/public/*.wasm
 examples/webpack/public/*.js
+dist/utils.js
+dist/utils.d.ts

dist/utils.ts

@@ -0,0 +1,23 @@
+import SWIPL from './swipl/swipl-bundle';
+import type SWIPL_TYPE from './common';
+import type {  } from 'emscripten';
+
+export async function generateImage(prolog: string): Promise<Uint8Array> {
+  const Module = await SWIPL({
+    arguments: ['-q', '-f', 'prolog.pl'],
+    // @ts-ignore
+    preRun: (module: SWIPLModule) => module.FS.writeFile('prolog.pl', prolog),
+  });
+
+  Module.prolog.query("qsave_program('prolog.pvm')").once();
+  return Module.FS.readFile('prolog.pvm')
+}
+
+export async function loadImage(swipl: typeof SWIPL_TYPE) {
+  return (options?: Partial<EmscriptenModule> | undefined) => swipl({
+    ...options,
+    arguments: ['-q', '-x', 'eye.pvm'],
+    // @ts-ignore
+    preRun: (module: SWIPLModule) => module.FS.writeFile('image.pvm', strToBuffer(EYE_PVM)),
+  });
+}

package.json

@@ -23,7 +23,10 @@
     "typescript": "^4.8.4"
   },
   "files": [
-    "dist"
+    "dist/**/*.js",
+    "dist/**/*.d.ts",
+    "dist/**/*.data",
+    "dist/**/*.wasm"
   ],
   "scripts": {
     "build:wasm-docker:build": "docker build -t swipl-wasm-image docker",
@@ -36,7 +39,7 @@
     "build:wasm-docker:extract:node": "docker cp swipl-wasm:/swipl-devel/build.wasm/src/swipl-web.js dist/swipl/swipl.js",
     "build:wasm-docker:extract": "run-s build:wasm-docker:extract:*",
     "build:wasm-docker": "run-s build:wasm-docker:build build:wasm-docker:create build:wasm-docker:extract build:wasm-docker:remove",
-    "build": "run-s build:wasm-docker",
+    "build": "run-s build:wasm-docker && tsc",
     "test:serve-http": "http-server . -c-1",
     "test:node": "mocha tests/node.js --timeout 20000",
     "test:browser": "mocha tests/browser.js --timeout 20000",

tests/image.js

@@ -0,0 +1,16 @@
+const image = require('../dist/utils');
+
+// console.log(image.generateImage)
+
+async function main() {
+  const result = await image.generateImage(`
+  find_max(X, Y, X) :- X >= Y, !.
+  find_max(X, Y, Y) :- X < Y.
+
+  find_min(X, Y, X) :- X =< Y, !.
+  find_min(X, Y, Y) :- X > Y.
+  `);
+  console.log(result)
+}
+
+main();

tsconfig.json

@@ -0,0 +1,11 @@
+{
+  "compilerOptions": {
+    "target": "es2016",                                  /* Set the JavaScript language version for emitted JavaScript and include compatible library declarations. */
+    "module": "commonjs",                                /* Specify what module code is generated. */
+    "declaration": true,                              /* Generate .d.ts files from TypeScript and JavaScript files in your project. */
+    "esModuleInterop": true,                             /* Emit additional JavaScript to ease support for importing CommonJS modules. This enables 'allowSyntheticDefaultImports' for type compatibility. */
+    "forceConsistentCasingInFileNames": true,            /* Ensure that casing is correct in imports. */
+    "strict": true,                                      /* Enable all strict type-checking options. */
+    "skipLibCheck": true                                 /* Skip type checking all .d.ts files. */
+  }
+}