deepclause-sdk 0.0.1

package/dist/prolog/loader.js

@@ -0,0 +1,133 @@
+/**
+ * SWI-Prolog WASM Loader
+ */
+import { readFileSync, existsSync, mkdirSync } from 'fs';
+import { fileURLToPath } from 'url';
+import { dirname, join, resolve } from 'path';
+let swiplInstance = null;
+let initPromise = null;
+let currentWorkspacePath = null;
+// Get the directory of this module for resolving Prolog source files
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = dirname(__filename);
+const PROLOG_SRC_DIR = join(__dirname, '..', 'prolog-src');
+/**
+ * Load and initialize SWI-Prolog WASM
+ */
+export async function loadProlog() {
+    // Return existing instance if available
+    if (swiplInstance) {
+        return swiplInstance;
+    }
+    // If initialization is in progress, wait for it
+    if (initPromise) {
+        return initPromise;
+    }
+    // Start initialization
+    initPromise = initializeProlog();
+    swiplInstance = await initPromise;
+    return swiplInstance;
+}
+/**
+ * Mount a workspace directory to /workspace in the WASM filesystem
+ * Uses NODEFS for direct host filesystem access
+ */
+export function mountWorkspace(swipl, workspacePath) {
+    const absolutePath = resolve(workspacePath);
+    // Ensure the host directory exists
+    if (!existsSync(absolutePath)) {
+        mkdirSync(absolutePath, { recursive: true });
+    }
+    // If same workspace is already mounted, skip
+    if (currentWorkspacePath === absolutePath) {
+        return;
+    }
+    // Unmount previous workspace if any
+    if (currentWorkspacePath !== null) {
+        try {
+            swipl.FS.unmount('/workspace');
+        }
+        catch {
+            // Ignore unmount errors
+        }
+    }
+    // Mount the new workspace using NODEFS
+    try {
+        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+        swipl.FS.mount(swipl.FS.filesystems.NODEFS, { root: absolutePath }, '/workspace');
+        currentWorkspacePath = absolutePath;
+    }
+    catch (error) {
+        // If mount fails (maybe already mounted), try to remount
+        try {
+            swipl.FS.unmount('/workspace');
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            swipl.FS.mount(swipl.FS.filesystems.NODEFS, { root: absolutePath }, '/workspace');
+            currentWorkspacePath = absolutePath;
+        }
+        catch {
+            // If still fails, the directory might not exist in WASM FS
+            throw new Error(`Failed to mount workspace: ${error}`);
+        }
+    }
+}
+/**
+ * Get the currently mounted workspace path
+ */
+export function getWorkspacePath() {
+    return currentWorkspacePath;
+}
+/**
+ * Initialize SWI-Prolog WASM
+ */
+async function initializeProlog() {
+    // Dynamic import of swipl-wasm (CommonJS module)
+    const SWIPL = await import('swipl-wasm');
+    const initSWIPL = SWIPL.default || SWIPL;
+    // Create WASM instance
+    const swipl = await initSWIPL({
+        // Configuration options
+        arguments: [
+            '-g', 'true',
+            '--nosignals',
+        ],
+    });
+    // Create required directories
+    try {
+        swipl.FS.mkdir('/tmp');
+    }
+    catch {
+        // Directory may already exist
+    }
+    try {
+        swipl.FS.mkdir('/workspace');
+    }
+    catch {
+        // Directory may already exist
+    }
+    // Load the DeepClause Prolog modules
+    loadPrologModules(swipl);
+    return swipl;
+}
+/**
+ * Load DeepClause Prolog source files from disk
+ */
+function loadPrologModules(swipl) {
+    // List of Prolog modules to load (order matters for dependencies)
+    // Note: deepclause_memory.pl is deprecated - memory is now state-threaded in MI
+    const moduleNames = [
+        'deepclause_strings.pl',
+        'deepclause_mi.pl',
+    ];
+    for (const name of moduleNames) {
+        // Read the source file from disk
+        const sourcePath = join(PROLOG_SRC_DIR, name);
+        const content = readFileSync(sourcePath, 'utf-8');
+        // Write to WASM virtual filesystem
+        const wasmPath = `/tmp/${name}`;
+        swipl.FS.writeFile(wasmPath, content);
+        // Consult the file
+        swipl.prolog.call(`consult('${wasmPath}')`);
+    }
+}
+//# sourceMappingURL=loader.js.map

package/dist/prolog/loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader.js","sourceRoot":"","sources":["../../src/prolog/loader.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,IAAI,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AA+B9C,IAAI,aAAa,GAAuB,IAAI,CAAC;AAC7C,IAAI,WAAW,GAAgC,IAAI,CAAC;AACpD,IAAI,oBAAoB,GAAkB,IAAI,CAAC;AAE/C,qEAAqE;AACrE,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;AACtC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;AAE3D;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU;IAC9B,wCAAwC;IACxC,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,gDAAgD;IAChD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,uBAAuB;IACvB,WAAW,GAAG,gBAAgB,EAAE,CAAC;IACjC,aAAa,GAAG,MAAM,WAAW,CAAC;IAClC,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,KAAkB,EAAE,aAAqB;IACtE,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAE5C,mCAAmC;IACnC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,SAAS,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED,6CAA6C;IAC7C,IAAI,oBAAoB,KAAK,YAAY,EAAE,CAAC;QAC1C,OAAO;IACT,CAAC;IAED,oCAAoC;IACpC,IAAI,oBAAoB,KAAK,IAAI,EAAE,CAAC;QAClC,IAAI,CAAC;YACH,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACjC,CAAC;QAAC,MAAM,CAAC;YACP,wBAAwB;QAC1B,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,CAAC;QACH,8DAA8D;QAC9D,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,MAAa,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,YAAY,CAAC,CAAC;QACzF,oBAAoB,GAAG,YAAY,CAAC;IACtC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,yDAAyD;QACzD,IAAI,CAAC;YACH,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YAC/B,8DAA8D;YAC9D,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,MAAa,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,YAAY,CAAC,CAAC;YACzF,oBAAoB,GAAG,YAAY,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,2DAA2D;YAC3D,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB;IAC9B,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,gBAAgB;IAC7B,iDAAiD;IACjD,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC;IAEzC,uBAAuB;IACvB,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC;QAC5B,wBAAwB;QACxB,SAAS,EAAE;YACT,IAAI,EAAE,MAAM;YACZ,aAAa;SACd;KACF,CAAgB,CAAC;IAElB,8BAA8B;IAC9B,IAAI,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,8BAA8B;IAChC,CAAC;IAED,IAAI,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,8BAA8B;IAChC,CAAC;IAED,qCAAqC;IACrC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAEzB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,KAAkB;IAC3C,kEAAkE;IAClE,gFAAgF;IAChF,MAAM,WAAW,GAAG;QAClB,uBAAuB;QACvB,kBAAkB;KACnB,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,iCAAiC;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAElD,mCAAmC;QACnC,MAAM,QAAQ,GAAG,QAAQ,IAAI,EAAE,CAAC;QAChC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAEtC,mBAAmB;QACnB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,QAAQ,IAAI,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC"}

package/dist/prolog-src/deepclause_memory.pl

@@ -0,0 +1,45 @@
+/**
+ * deepclause_memory.pl - DEPRECATED Memory management for DeepClause SDK
+ * 
+ * NOTE: As of v0.2.0, memory is managed via state threading in the 
+ * meta-interpreter for proper backtracking support. This module is
+ * kept for backwards compatibility only.
+ * 
+ * Memory is now automatically backtrackable - when Prolog backtracks,
+ * the memory state is automatically restored. No need for manual
+ * push_context/pop_context calls.
+ */
+
+:- module(deepclause_memory, [
+    create_memory/1,
+    push_memory/2,
+    pop_memory/1,
+    get_memory/2,
+    clear_memory/1,
+    push_context/1,
+    pop_context/1
+]).
+
+%% All operations are now no-ops or return empty results
+%% Memory is managed internally by the meta-interpreter
+
+%% create_memory(+Id) - No-op, kept for API compatibility
+create_memory(_Id) :- true.
+
+%% push_memory(+Id, +Message) - No-op, memory is managed by MI state
+push_memory(_Id, _Message) :- true.
+
+%% pop_memory(+Id) - No-op
+pop_memory(_Id) :- true.
+
+%% get_memory(+Id, -Messages) - Returns empty, memory comes from MI state
+get_memory(_Id, []).
+
+%% clear_memory(+Id) - No-op
+clear_memory(_Id) :- true.
+
+%% push_context(+Id) - No-op, backtracking is automatic
+push_context(_Id) :- true.
+
+%% pop_context(+Id) - No-op, backtracking is automatic
+pop_context(_Id) :- true.