@tuprolog/arg2p-ui 0.0.0-stage → 0.1.0

package/dist/js/host.js

@@ -0,0 +1,237 @@
+import { Arg2p, Flags, Value } from '@tuprolog/arg2p';
+import { EMPTY_GRAPH } from '../engine.js';
+import { FLAGS } from '../flags/schema.js';
+const WARM_UP_THEORY = 'f1 :=> bird(tweety).\nr1 : bird(X) => flies(X).\nf2 :=> -flies(tweety).';
+export function createHost(post) {
+    let current = null;
+    function handle(request) {
+        switch (request.type) {
+            case 'warmUp': return warmUp();
+            case 'solve': return solve(request);
+            case 'next': return next(request.id);
+            case 'graphAt': return graphAt(request);
+            case 'check': return post({ type: 'checked', reqId: request.reqId, problem: check(request.text, request.kind) });
+            case 'settings': return post({ type: 'settings', reqId: request.reqId, settings: settings(request.theory, request.flags) });
+        }
+    }
+    // The first evaluation is much slower than the next ones (code compiled and initialised on first use): done
+    // unseen, in the background
+    function warmUp() {
+        try {
+            Arg2p.of(WARM_UP_THEORY).answer('flies(tweety)');
+        }
+        catch {
+            // only a warm-up
+        }
+        post({ type: 'warm' });
+    }
+    function solve({ id, theory, query, flags }) {
+        if (/^\s*$/.test(query)) {
+            current = null;
+            return post({ type: 'failed', id, error: { name: 'Query error', message: 'Query is a mandatory field.', syntax: null } });
+        }
+        try {
+            // the flags and the theory are both read as the solver is built: the error tells which one it is about
+            let parsedFlags;
+            try {
+                parsedFlags = Flags.parse(flags);
+            }
+            catch (error) {
+                throw failure('Flags error', error, 'flags');
+            }
+            let solver;
+            try {
+                solver = Arg2p.builder().theory(theory).flags(parsedFlags).output(text => post({ type: 'output', id, text })).build();
+            }
+            catch (error) {
+                throw failure('Theory error', error, 'theory');
+            }
+            const profile = profileOf(solver);
+            const written = query.trim().replace(/\.$/, '');
+            let solutions;
+            try {
+                solutions = solver.solve(written);
+            }
+            catch (error) {
+                throw failure('Query error', error, 'query');
+            }
+            current = { id, solver, solutions, profile };
+            post({ type: 'started', id, query: written });
+        }
+        catch (error) {
+            current = null;
+            post({ type: 'failed', id, error: error });
+        }
+    }
+    // A solution, and whether there is another one (known only by looking for it)
+    function next(id) {
+        if (current === null || current.id !== id) {
+            return post({ type: 'failed', id, error: { name: 'Error', message: 'This query is no longer running.', syntax: null } });
+        }
+        let solution;
+        let hasNext = false;
+        try {
+            const found = current.solutions.next();
+            const { graph, branch } = currentGraph(current.solver, current.profile);
+            solution = {
+                result: found.isYes ? 'yes' : found.isNo ? 'no' : 'halt',
+                query: found.query,
+                bindings: found.variables.map(name => ({ name, value: found.text(name) ?? '' })),
+                error: found.error ?? null,
+                graph,
+                branch,
+            };
+            hasNext = current.solutions.hasNext();
+        }
+        catch (error) {
+            solution = { result: 'halt', query: '', bindings: [], error: messageOf(error), graph: EMPTY_GRAPH, branch: 0 };
+        }
+        post({ type: 'solution', id, solution, hasNext });
+    }
+    function graphAt({ id, branch, reqId }) {
+        let graph = EMPTY_GRAPH;
+        try {
+            if (current !== null && current.id === id)
+                graph = graphData(current.solver.graphAt(branch), current.profile);
+        }
+        catch {
+            // a stage that cannot be read shows as empty
+        }
+        post({ type: 'graph', reqId, graph });
+    }
+    return { handle };
+}
+// The graph of the last stage of the last resolution: none without one (a plain Prolog goal builds no graph)
+function currentGraph(solver, profile) {
+    try {
+        const branch = solver.activeBranch;
+        return { graph: graphData(solver.graphAt(branch), profile), branch };
+    }
+    catch {
+        return { graph: EMPTY_GRAPH, branch: 0 };
+    }
+}
+// The profile in effect for the theory of [solver] (the theory states it, or the flags, or it is the default), asked
+// before the query, as the setting does not change the context of the solver (until the API gives it)
+function profileOf(solver) {
+    try {
+        const found = solver.solve('setting(graphBuildMode, Profile)').next();
+        return found.isYes ? found.text('Profile') ?? '' : '';
+    }
+    catch {
+        return '';
+    }
+}
+/** A graph of the API as plain data, read in [profile] */
+export function graphData(graph, profile = '') {
+    return {
+        profile,
+        arguments: graph.labellings.map(({ argument, label }) => ({
+            id: argument.identifier,
+            descriptor: argument.descriptor,
+            conclusion: argument.conclusion,
+            topRule: argument.topRule,
+            label,
+            supports: argument.supports.map(it => it.identifier),
+        })),
+        attacks: graph.attacks.map(it => ({
+            from: it.attacker.identifier,
+            to: it.target.identifier,
+            type: it.type ?? null,
+            on: it.on?.identifier ?? null,
+        })),
+    };
+}
+/** Where [text], a theory (or flags) or a query, does not parse; null if it does */
+export function check(text, kind) {
+    if (kind === 'query' && /^\s*$/.test(text))
+        return null;
+    try {
+        // a theory read as a solver reads it (until the API checks texts by itself)
+        if (kind === 'query')
+            Value.parse(text.trim().replace(/\.$/, ''));
+        else
+            Arg2p.of(text, Flags.none());
+        return null;
+    }
+    catch (error) {
+        return syntaxProblem(error) ?? { line: 1, column: 1, length: 1, message: messageOf(error) };
+    }
+}
+/**
+ * The values of the flags in effect for [theory] solved with [flags], as the solver checks them (setting/1 for a
+ * switch, setting/2 for the values of a flag): the flags alone when the theory does not parse, none when they do not
+ * (until the API gives them)
+ */
+export function settings(theory, flags) {
+    let parsed;
+    try {
+        parsed = Flags.parse(flags);
+    }
+    catch {
+        return {};
+    }
+    let solver;
+    try {
+        solver = Arg2p.of(theory, parsed);
+    }
+    catch {
+        solver = Arg2p.of('', parsed);
+    }
+    const values = {};
+    FLAGS.forEach(flag => {
+        try {
+            if (flag.kind === 'switch') {
+                values[flag.name] = solver.solve(`setting(${flag.name})`).next().isYes ? ['true'] : [];
+            }
+            else {
+                const found = [];
+                const solutions = solver.solve(`setting(${flag.name}, Value)`);
+                while (solutions.hasNext()) {
+                    const solution = solutions.next();
+                    if (!solution.isYes)
+                        break;
+                    found.push(unquoted(solution.text('Value') ?? ''));
+                }
+                values[flag.name] = found;
+            }
+        }
+        catch {
+            // a flag this version of arg2p does not know
+        }
+    });
+    values.graphBuildMode = [profileOf(solver)].filter(it => it !== '');
+    return values;
+}
+function unquoted(value) {
+    const quoted = /^'(.*)'$/.exec(value);
+    return quoted ? quoted[1].replace(/''/g, "'") : value;
+}
+// An error of the API as an EngineError, where in the text it is when the text does not parse
+function failure(name, error, where) {
+    const problem = syntaxProblem(error);
+    return { name, message: messageOf(error), syntax: problem && { ...problem, where } };
+}
+// A parse error tells where it is in its message, `... at 3:12; expected ...`: the line and column (from 1) and the
+// token it is about (until the API gives them apart)
+function syntaxProblem(error) {
+    const message = messageOf(error);
+    const at = / at (\d+):(\d+)/.exec(message);
+    if (at === null)
+        return null;
+    const token = /Unexpected token '([^']*)'/.exec(message);
+    return {
+        line: Math.max(1, Number(at[1])),
+        column: Math.max(1, Number(at[2])),
+        length: Math.max(1, token?.[1].length ?? 1),
+        message: message.replace(/ at \d+:\d+/, ''),
+    };
+}
+function messageOf(error) {
+    if (error instanceof Error)
+        return error.message;
+    if (typeof error === 'object' && error !== null && 'message' in error)
+        return String(error.message);
+    return String(error);
+}
+//# sourceMappingURL=host.js.map

package/dist/js/host.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.js","sourceRoot":"","sources":["../../src/js/host.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAA8B,MAAM,iBAAiB,CAAC;AAClF,OAAO,EAAE,WAAW,EAA2E,MAAM,cAAc,CAAC;AACpH,OAAO,EAAE,KAAK,EAAiB,MAAM,oBAAoB,CAAC;AAiC1D,MAAM,cAAc,GAAG,yEAAyE,CAAC;AAEjG,MAAM,UAAU,UAAU,CAAC,IAA8B;IACrD,IAAI,OAAO,GAAgF,IAAI,CAAC;IAEhG,SAAS,MAAM,CAAC,OAAgB;QAC5B,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,QAAQ,EAAE,OAAO,MAAM,EAAE,CAAC;YAC/B,KAAK,OAAO,EAAE,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC;YACpC,KAAK,MAAM,EAAE,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACrC,KAAK,SAAS,EAAE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;YACxC,KAAK,OAAO,EAAE,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjH,KAAK,UAAU,EAAE,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChI,CAAC;IACL,CAAC;IAED,4GAA4G;IAC5G,4BAA4B;IAC5B,SAAS,MAAM;QACX,IAAI,CAAC;YACD,KAAK,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QACrD,CAAC;QAAC,MAAM,CAAC;YACL,iBAAiB;QACrB,CAAC;QACD,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3B,CAAC;IAED,SAAS,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAgE;QACrG,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,GAAG,IAAI,CAAC;YACf,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,6BAA6B,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9H,CAAC;QACD,IAAI,CAAC;YACD,uGAAuG;YACvG,IAAI,WAAkB,CAAC;YACvB,IAAI,CAAC;gBACD,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACrC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,OAAO,CAAC,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YACjD,CAAC;YACD,IAAI,MAAa,CAAC;YAClB,IAAI,CAAC;gBACD,MAAM,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YAC1H,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,OAAO,CAAC,cAAc,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAClC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAChD,IAAI,SAAoB,CAAC;YACzB,IAAI,CAAC;gBACD,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACtC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,OAAO,CAAC,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YACjD,CAAC;YACD,OAAO,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;YAC7C,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QAClD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,GAAG,IAAI,CAAC;YACf,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,KAAoB,EAAE,CAAC,CAAC;QAC9D,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,SAAS,IAAI,CAAC,EAAU;QACpB,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YACxC,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,kCAAkC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7H,CAAC;QACD,IAAI,QAAsB,CAAC;QAC3B,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC;YACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YACvC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;YACxE,QAAQ,GAAG;gBACP,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;gBACxD,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAChF,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,IAAI;gBAC1B,KAAK;gBACL,MAAM;aACT,CAAC;YACF,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QAC1C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,QAAQ,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACnH,CAAC;QACD,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,SAAS,OAAO,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAiD;QACjF,IAAI,KAAK,GAAG,WAAW,CAAC;QACxB,IAAI,CAAC;YACD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE;gBAAE,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAClH,CAAC;QAAC,MAAM,CAAC;YACL,6CAA6C;QACjD,CAAC;QACD,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,CAAC;AACtB,CAAC;AAED,6GAA6G;AAC7G,SAAS,YAAY,CAAC,MAAa,EAAE,OAAe;IAChD,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC;QACnC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACzE,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC7C,CAAC;AACL,CAAC;AAED,qHAAqH;AACrH,sGAAsG;AACtG,SAAS,SAAS,CAAC,MAAa;IAC5B,IAAI,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,EAAE,CAAC;IACd,CAAC;AACL,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,SAAS,CAAC,KAAY,EAAE,OAAO,GAAG,EAAE;IAChD,OAAO;QACH,OAAO;QACP,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YACtD,EAAE,EAAE,QAAQ,CAAC,UAAU;YACvB,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,KAAK;YACL,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC;SACvD,CAAC,CAAC;QACH,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC9B,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU;YAC5B,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU;YACxB,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,IAAI;YACrB,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,UAAU,IAAI,IAAI;SAChC,CAAC,CAAC;KACN,CAAC;AACN,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,KAAK,CAAC,IAAY,EAAE,IAAwB;IACxD,IAAI,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,IAAI,CAAC;QACD,4EAA4E;QAC5E,IAAI,IAAI,KAAK,OAAO;YAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;;YAC7D,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IAChG,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAc,EAAE,KAAa;IAClD,IAAI,MAAa,CAAC;IAClB,IAAI,CAAC;QACD,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,EAAE,CAAC;IACd,CAAC;IACD,IAAI,MAAa,CAAC;IAClB,IAAI,CAAC;QACD,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC;QACL,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,MAAM,GAA6B,EAAE,CAAC;IAC5C,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACjB,IAAI,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3F,CAAC;iBAAM,CAAC;gBACJ,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC;gBAC/D,OAAO,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;oBACzB,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;oBAClC,IAAI,CAAC,QAAQ,CAAC,KAAK;wBAAE,MAAM;oBAC3B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBACvD,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;YAC9B,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACL,6CAA6C;QACjD,CAAC;IACL,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa;IAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1D,CAAC;AAED,8FAA8F;AAC9F,SAAS,OAAO,CAAC,IAAY,EAAE,KAAc,EAAE,KAAmC;IAC9E,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,IAAI,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC;AACzF,CAAC;AAED,oHAAoH;AACpH,qDAAqD;AACrD,SAAS,aAAa,CAAC,KAAc;IACjC,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,OAAO;QACH,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QAC3C,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;KAC9C,CAAC;AACN,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC7B,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,SAAS,IAAI,KAAK;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpG,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC"}

package/dist/js/index.d.ts

@@ -0,0 +1,2 @@
+export { JsEngine, type Channel } from './engine.js';
+export type { Request, Answer } from './host.js';

package/dist/js/index.js

@@ -0,0 +1,4 @@
+// The engine of the browser: the solver of @tuprolog/arg2p, in a worker of its own (import it apart from the
+// components: the worker brings the solver with it, the page does not load it)
+export { JsEngine } from './engine.js';
+//# sourceMappingURL=index.js.map

package/dist/js/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/js/index.ts"],"names":[],"mappings":"AAAA,6GAA6G;AAC7G,+EAA+E;AAC/E,OAAO,EAAE,QAAQ,EAAgB,MAAM,aAAa,CAAC"}

package/dist/js/worker.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/js/worker.js

@@ -0,0 +1,7 @@
+// The solver of the browser in a worker of its own (see JsEngine): the page stays responsive while it works, and an
+// evaluation that runs too long is stopped by ending the worker.
+import { createHost } from './host.js';
+const scope = self;
+const host = createHost(answer => scope.postMessage(answer));
+scope.onmessage = event => host.handle(event.data);
+//# sourceMappingURL=worker.js.map

package/dist/js/worker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker.js","sourceRoot":"","sources":["../../src/js/worker.ts"],"names":[],"mappings":"AAAA,oHAAoH;AACpH,iEAAiE;AACjE,OAAO,EAAE,UAAU,EAAgB,MAAM,WAAW,CAAC;AAErD,MAAM,KAAK,GAAG,IAA6G,CAAC;AAC5H,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;AAC7D,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAe,CAAC,CAAC"}

package/dist/theme.d.ts

@@ -0,0 +1,5 @@
+export declare const tokens: import("lit").CSSResult;
+/** The colour of [label] (in, out, und; any other is unlabelled) as [element] is styled, for what draws on a canvas */
+export declare function labelColor(element: Element, label: string | null | undefined): string;
+/** The colour [name] of the tokens as [element] is styled (in, out, und, unlabelled, support) */
+export declare function cssColor(element: Element, name: string): string;

package/dist/theme.js

@@ -0,0 +1,48 @@
+import { css } from 'lit';
+// The look of the components, as custom properties a page sets (the dark theme of the playground, the theme of VS Code
+// in a webview): each falls back to the light theme. The colours of the labels (in, out, und) stay the same in every
+// theme: they carry meaning.
+export const tokens = css `
+    :host {
+        --_surface: var(--arg2p-surface, #ffffff);
+        --_surface-2: var(--arg2p-surface-2, #f7f7f8);
+        --_hover: var(--arg2p-hover, #f4fafa);
+        --_border: var(--arg2p-border, #e3e3e3);
+        --_text: var(--arg2p-text, #212529);
+        --_muted: var(--arg2p-muted, #777777);
+        --_accent: var(--arg2p-accent, #008080);
+        --_in: var(--arg2p-in, #008080);
+        --_out: var(--arg2p-out, #800000);
+        --_und: var(--arg2p-und, #808080);
+        --_unlabelled: var(--arg2p-unlabelled, #2b7ce9);
+        --_support: var(--arg2p-support, #9a9a9a);
+        --_no: var(--arg2p-no, #c9a400);
+        --_error: var(--arg2p-error, #b00020);
+        --_atom: var(--arg2p-atom, #800000);
+        --_functor: var(--arg2p-functor, #6a1b9a);
+        --_variable: var(--arg2p-variable, var(--_text));
+        --_comment: var(--arg2p-comment, #808080);
+        --_font: var(--arg2p-font, system-ui, sans-serif);
+        --_mono: var(--arg2p-mono, ui-monospace, monospace);
+        color: var(--_text);
+        font-family: var(--_font);
+    }
+`;
+const DEFAULTS = {
+    in: '#008080',
+    out: '#800000',
+    und: '#808080',
+    unlabelled: '#2b7ce9',
+    support: '#9a9a9a',
+};
+/** The colour of [label] (in, out, und; any other is unlabelled) as [element] is styled, for what draws on a canvas */
+export function labelColor(element, label) {
+    const key = label === 'in' || label === 'out' || label === 'und' ? label : 'unlabelled';
+    return cssColor(element, key);
+}
+/** The colour [name] of the tokens as [element] is styled (in, out, und, unlabelled, support) */
+export function cssColor(element, name) {
+    const value = getComputedStyle(element).getPropertyValue(`--arg2p-${name}`).trim();
+    return value !== '' ? value : DEFAULTS[name] ?? '#000000';
+}
+//# sourceMappingURL=theme.js.map

package/dist/theme.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"theme.js","sourceRoot":"","sources":["../src/theme.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,uHAAuH;AACvH,qHAAqH;AACrH,6BAA6B;AAC7B,MAAM,CAAC,MAAM,MAAM,GAAG,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;CAyBxB,CAAC;AAEF,MAAM,QAAQ,GAA2B;IACrC,EAAE,EAAE,SAAS;IACb,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,UAAU,EAAE,SAAS;IACrB,OAAO,EAAE,SAAS;CACrB,CAAC;AAEF,uHAAuH;AACvH,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,KAAgC;IACzE,MAAM,GAAG,GAAG,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC;IACxF,OAAO,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AAClC,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,QAAQ,CAAC,OAAgB,EAAE,IAAY;IACnD,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACnF,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;AAC9D,CAAC"}

package/package.json

@@ -1,6 +1,67 @@
 {
   "name": "@tuprolog/arg2p-ui",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.1.0",
+  "description": "The user interface of Arg2P as web components (graphs, solutions, ...), on any engine: the solver of the browser, or one of the JVM",
+  "type": "module",
+  "license": "Apache-2.0",
+  "author": "Giuseppe Pisano",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/tuProlog/arg2p-kt-web",
+    "directory": "packages/ui"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./data": {
+      "types": "./dist/data.d.ts",
+      "import": "./dist/data.js"
+    },
+    "./js": {
+      "types": "./dist/js/index.d.ts",
+      "import": "./dist/js/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "sideEffects": [
+    "./dist/index.js",
+    "./dist/components/*.js"
+  ],
+  "scripts": {
+    "dev": "vite",
+    "build": "tsc -p tsconfig.build.json",
+    "check": "tsc --noEmit",
+    "test": "vitest run"
+  },
+  "peerDependencies": {
+    "@tuprolog/arg2p": ">=0.19.1"
+  },
+  "peerDependenciesMeta": {
+    "@tuprolog/arg2p": {
+      "optional": true
+    }
+  },
+  "dependencies": {
+    "@codemirror/commands": "6.11.1",
+    "@codemirror/language": "6.13.1",
+    "@codemirror/lint": "6.9.7",
+    "@codemirror/search": "6.7.2",
+    "@codemirror/state": "6.7.6",
+    "@codemirror/view": "6.43.14",
+    "@lezer/highlight": "1.2.5",
+    "cytoscape": "3.34.3",
+    "lit": "3.3.3"
+  },
+  "devDependencies": {
+    "@tuprolog/arg2p": "0.19.1",
+    "happy-dom": "21.0.1",
+    "typescript": "7.0.2",
+    "vite": "8.3.4",
+    "vitest": "5.0.4"
+  }
+}