@hzhangxyz/ddss 0.0.30 → 0.0.32

package/dist/index.js

@@ -1,566 +1,2 @@
 #!/usr/bin/env node
-import * as fs from 'node:fs/promises';
-import * as os from 'node:os';
-import * as path from 'node:path';
-import { Command } from 'commander';
-import { Sequelize, DataTypes, Model, Op } from 'sequelize';
-import { Search as Search$1, Term, List, Rule } from 'atsds';
-import { stdout, stdin } from 'node:process';
-import { unparse, parse } from 'atsds-bnf';
-import { EGraph } from 'atsds-egg';
-import * as readline from 'node:readline/promises';
-
-class Fact extends Model {
-}
-class Idea extends Model {
-}
-async function initializeDatabase(addr) {
-    const sequelize = new Sequelize(addr, { logging: false });
-    Fact.init({
-        id: { type: DataTypes.INTEGER, primaryKey: true, autoIncrement: true },
-        data: { type: DataTypes.TEXT, unique: true, allowNull: false },
-    }, { sequelize, tableName: "facts", timestamps: false });
-    Idea.init({
-        id: { type: DataTypes.INTEGER, primaryKey: true, autoIncrement: true },
-        data: { type: DataTypes.TEXT, unique: true, allowNull: false },
-    }, { sequelize, tableName: "ideas", timestamps: false });
-    await sequelize.sync();
-    return sequelize;
-}
-async function insertOrIgnore(model, data) {
-    await model.bulkCreate([{ data }], {
-        ignoreDuplicates: true,
-    });
-}
-
-function strRuleGetStrIdea(data) {
-    if (!data.startsWith("--")) {
-        const lines = data.split("\n");
-        return `----\n${lines[0]}\n`;
-    }
-    return null;
-}
-function patchStdout(rl) {
-    const originalWrite = stdout.write;
-    let isReprompting = false;
-    // @ts-ignore
-    stdout.write = (chunk, encoding, callback) => {
-        // (1) Use original write when reprompting to avoid infinite recursion
-        // since rl.prompt() internally calls stdout.write.
-        if (isReprompting) {
-            return originalWrite.call(stdout, chunk, encoding, callback);
-        }
-        // (2) Let normal newlines (e.g., from user pressing Enter) pass through
-        // without triggering the reprompting logic.
-        if (chunk === "\n" || chunk === "\r\n") {
-            return originalWrite.call(stdout, chunk, encoding, callback);
-        }
-        if (chunk.includes("\n")) {
-            // Move cursor to the start of the line.
-            originalWrite.call(stdout, "\r");
-            const result = originalWrite.call(stdout, chunk, encoding, callback);
-            isReprompting = true;
-            rl.prompt();
-            isReprompting = false;
-            return result;
-        }
-        return originalWrite.call(stdout, chunk, encoding, callback);
-    };
-    return () => {
-        // @ts-ignore
-        stdout.write = originalWrite;
-    };
-}
-
-async function main$5(addr, sequelize) {
-    if (!sequelize) {
-        sequelize = await initializeDatabase(addr);
-    }
-    const search = new Search$1();
-    let maxFact = -1;
-    while (true) {
-        const begin = Date.now();
-        let count = 0;
-        const newFacts = await Fact.findAll({
-            where: { id: { [Op.gt]: maxFact } },
-        });
-        for (const fact of newFacts) {
-            maxFact = Math.max(maxFact, fact.id);
-            search.add(fact.data);
-        }
-        const tasks = [];
-        const handler = (rule) => {
-            const dsStr = rule.toString();
-            tasks.push(insertOrIgnore(Fact, dsStr));
-            const idea = strRuleGetStrIdea(dsStr);
-            if (idea) {
-                tasks.push(insertOrIgnore(Idea, idea));
-            }
-            return false;
-        };
-        count = search.execute(handler);
-        await Promise.all(tasks);
-        const end = Date.now();
-        const duration = (end - begin) / 1000;
-        if (count === 0) {
-            const delay = Math.max(0, 0.1 - duration);
-            await new Promise((resolve) => setTimeout(resolve, delay * 1000));
-        }
-    }
-}
-
-async function main$4(addr, sequelize) {
-    if (!sequelize) {
-        sequelize = await initializeDatabase(addr);
-    }
-    const ideas = await Idea.findAll();
-    for (const idea of ideas) {
-        console.log("idea:", unparse(idea.data));
-    }
-    const facts = await Fact.findAll();
-    for (const fact of facts) {
-        console.log("fact:", unparse(fact.data));
-    }
-}
-
-function buildTermToRule(data) {
-    return new Rule(`----\n${data.toString()}\n`);
-}
-function extractLhsRhsFromRule(data) {
-    if (data.length() !== 0) {
-        return null;
-    }
-    const term = data.conclusion();
-    const inner = term.term();
-    if (!(inner instanceof List)) {
-        return null;
-    }
-    if (!(inner.length() === 4 && inner.getitem(0).toString() === "binary" && inner.getitem(1).toString() === "==")) {
-        return null;
-    }
-    return [inner.getitem(2), inner.getitem(3)];
-}
-function buildLhsRhsToTerm(lhs, rhs) {
-    return new Term(`(binary == ${lhs.toString()} ${rhs.toString()})`);
-}
-class InternalEGraph {
-    core;
-    mapping;
-    constructor() {
-        this.core = new EGraph();
-        this.mapping = new Map();
-    }
-    getOrAdd(data) {
-        const key = data.toString();
-        if (!this.mapping.has(key)) {
-            this.mapping.set(key, this.core.add(data));
-        }
-        return this.mapping.get(key);
-    }
-    find(data) {
-        return this.core.find(this.getOrAdd(data));
-    }
-    setEquality(lhs, rhs) {
-        const lhsId = this.getOrAdd(lhs);
-        const rhsId = this.getOrAdd(rhs);
-        this.core.merge(lhsId, rhsId);
-    }
-    getEquality(lhs, rhs) {
-        const lhsId = this.getOrAdd(lhs);
-        const rhsId = this.getOrAdd(rhs);
-        return this.core.find(lhsId) === this.core.find(rhsId);
-    }
-    rebuild() {
-        this.core.rebuild();
-    }
-}
-class Search {
-    egraph;
-    terms;
-    facts;
-    newlyAddedTerms;
-    newlyAddedFacts;
-    factMatchingCache;
-    constructor() {
-        this.egraph = new InternalEGraph();
-        this.terms = new Set();
-        this.facts = new Set();
-        this.newlyAddedTerms = new Set();
-        this.newlyAddedFacts = new Set();
-        this.factMatchingCache = new Map();
-    }
-    rebuild() {
-        this.egraph.rebuild();
-        const newlyAddedTermsList = Array.from(this.newlyAddedTerms).map((s) => new Term(s));
-        for (const factStr of this.facts) {
-            const fact = new Term(factStr);
-            if (!this.factMatchingCache.has(factStr)) {
-                this.factMatchingCache.set(factStr, new Set());
-            }
-            const candidates = this.collectMatchingCandidates(fact, newlyAddedTermsList);
-            for (const c of candidates) {
-                this.factMatchingCache.get(factStr).add(c.toString());
-            }
-        }
-        const termsList = Array.from(this.terms).map((s) => new Term(s));
-        for (const factStr of this.newlyAddedFacts) {
-            const fact = new Term(factStr);
-            if (!this.factMatchingCache.has(factStr)) {
-                this.factMatchingCache.set(factStr, new Set());
-            }
-            const candidates = this.collectMatchingCandidates(fact, termsList);
-            for (const c of candidates) {
-                this.factMatchingCache.get(factStr).add(c.toString());
-            }
-        }
-        this.newlyAddedTerms.clear();
-        this.newlyAddedFacts.clear();
-    }
-    add(data) {
-        this.addExpr(data);
-        this.addFact(data);
-    }
-    addExpr(data) {
-        const lhsRhs = extractLhsRhsFromRule(data);
-        if (!lhsRhs)
-            return;
-        const [lhs, rhs] = lhsRhs;
-        this.terms.add(lhs.toString());
-        this.newlyAddedTerms.add(lhs.toString());
-        this.terms.add(rhs.toString());
-        this.newlyAddedTerms.add(rhs.toString());
-        this.egraph.setEquality(lhs, rhs);
-    }
-    addFact(data) {
-        if (data.length() !== 0)
-            return;
-        const term = data.conclusion();
-        this.terms.add(term.toString());
-        this.newlyAddedTerms.add(term.toString());
-        this.facts.add(term.toString());
-        this.newlyAddedFacts.add(term.toString());
-    }
-    *execute(data) {
-        yield* this.executeExpr(data);
-        yield* this.executeFact(data);
-    }
-    *executeExpr(data) {
-        const lhsRhs = extractLhsRhsFromRule(data);
-        if (!lhsRhs)
-            return;
-        const [lhs, rhs] = lhsRhs;
-        if (this.egraph.getEquality(lhs, rhs)) {
-            yield data;
-        }
-        const termsList = Array.from(this.terms).map((s) => new Term(s));
-        const lhsPool = this.collectMatchingCandidates(lhs, termsList);
-        const rhsPool = this.collectMatchingCandidates(rhs, termsList);
-        if (lhsPool.length === 0 || rhsPool.length === 0)
-            return;
-        const lhsGroups = this.groupByEquivalenceClass(lhsPool);
-        const rhsGroups = this.groupByEquivalenceClass(rhsPool);
-        for (const lhsGroup of lhsGroups) {
-            for (const rhsGroup of rhsGroups) {
-                if (lhsGroup.size > 0 && rhsGroup.size > 0) {
-                    const firstLhs = new Term(lhsGroup.values().next().value);
-                    const firstRhs = new Term(rhsGroup.values().next().value);
-                    if (this.egraph.getEquality(firstLhs, firstRhs)) {
-                        for (const xStr of lhsGroup) {
-                            for (const yStr of rhsGroup) {
-                                const x = new Term(xStr);
-                                const y = new Term(yStr);
-                                const target = buildLhsRhsToTerm(x, y);
-                                const query = data.conclusion();
-                                const unification = target.match(query);
-                                if (unification) {
-                                    const result = target.ground(unification, "1");
-                                    if (result) {
-                                        yield buildTermToRule(result);
-                                    }
-                                }
-                            }
-                        }
-                    }
-                }
-            }
-        }
-    }
-    *executeFact(data) {
-        if (data.length() !== 0)
-            return;
-        const idea = data.conclusion();
-        for (const factStr of this.facts) {
-            if (this.egraph.getEquality(idea, new Term(factStr))) {
-                yield data;
-            }
-        }
-        const termsList = Array.from(this.terms).map((s) => new Term(s));
-        const ideaPool = this.collectMatchingCandidates(idea, termsList);
-        if (ideaPool.length === 0)
-            return;
-        const ideaGroups = this.groupByEquivalenceClass(ideaPool);
-        for (const factStr of this.facts) {
-            const factPoolStr = this.factMatchingCache.get(factStr);
-            if (!factPoolStr || factPoolStr.size === 0)
-                continue;
-            const factPool = Array.from(factPoolStr).map((s) => new Term(s));
-            const factGroups = this.groupByEquivalenceClass(factPool);
-            for (const ideaGroup of ideaGroups) {
-                for (const factGroup of factGroups) {
-                    if (ideaGroup.size > 0 && factGroup.size > 0) {
-                        const firstIdea = new Term(ideaGroup.values().next().value);
-                        const firstFact = new Term(factGroup.values().next().value);
-                        if (this.egraph.getEquality(firstIdea, firstFact)) {
-                            for (const xStr of ideaGroup) {
-                                for (const yStr of factGroup) {
-                                    const x = new Term(xStr);
-                                    const y = new Term(yStr);
-                                    const target = buildLhsRhsToTerm(x, y);
-                                    const query = buildLhsRhsToTerm(idea, new Term(factStr));
-                                    const unification = target.match(query);
-                                    if (unification) {
-                                        const result = target.ground(unification, "1");
-                                        if (result) {
-                                            const inner = result.term();
-                                            if (inner instanceof List) {
-                                                yield buildTermToRule(inner.getitem(2));
-                                            }
-                                        }
-                                    }
-                                }
-                            }
-                        }
-                    }
-                }
-            }
-        }
-    }
-    collectMatchingCandidates(pattern, candidates) {
-        return candidates.filter((c) => pattern.match(c) !== null);
-    }
-    groupByEquivalenceClass(terms) {
-        if (terms.length === 0)
-            return [];
-        const eidToTerms = new Map();
-        for (const term of terms) {
-            const eid = this.egraph.find(term).toString();
-            if (!eidToTerms.has(eid)) {
-                eidToTerms.set(eid, new Set());
-            }
-            eidToTerms.get(eid).add(term.toString());
-        }
-        return Array.from(eidToTerms.values());
-    }
-}
-
-async function main$3(addr, sequelize) {
-    if (!sequelize) {
-        sequelize = await initializeDatabase(addr);
-    }
-    const search = new Search();
-    let pool = [];
-    let maxFact = -1;
-    let maxIdea = -1;
-    while (true) {
-        const begin = Date.now();
-        let count = 0;
-        const newIdeas = await Idea.findAll({
-            where: { id: { [Op.gt]: maxIdea } },
-        });
-        for (const idea of newIdeas) {
-            maxIdea = Math.max(maxIdea, idea.id);
-            pool.push(new Rule(idea.data));
-        }
-        const newFacts = await Fact.findAll({
-            where: { id: { [Op.gt]: maxFact } },
-        });
-        for (const fact of newFacts) {
-            maxFact = Math.max(maxFact, fact.id);
-            search.add(new Rule(fact.data));
-        }
-        search.rebuild();
-        const tasks = [];
-        const nextPool = [];
-        for (const i of pool) {
-            let found = false;
-            for (const o of search.execute(i)) {
-                tasks.push(insertOrIgnore(Fact, o.toString()));
-                count++;
-                if (i.toString() === o.toString()) {
-                    found = true;
-                    break;
-                }
-            }
-            if (!found) {
-                nextPool.push(i);
-            }
-        }
-        pool = nextPool;
-        await Promise.all(tasks);
-        const end = Date.now();
-        const duration = (end - begin) / 1000;
-        if (count === 0) {
-            const delay = Math.max(0, 0.1 - duration);
-            await new Promise((resolve) => setTimeout(resolve, delay * 1000));
-        }
-    }
-}
-
-async function main$2(addr, sequelize) {
-    if (!sequelize) {
-        sequelize = await initializeDatabase(addr);
-    }
-    const rl = readline.createInterface({ input: stdin, output: stdout });
-    rl.setPrompt("input: ");
-    const unpatch = patchStdout(rl);
-    rl.prompt();
-    for await (const line of rl) {
-        const data = line.trim();
-        if (data === "" || data.startsWith("//")) {
-            rl.prompt();
-            continue;
-        }
-        try {
-            const ds = parse(data);
-            const dsStr = ds.toString();
-            await insertOrIgnore(Fact, dsStr);
-            const idea = strRuleGetStrIdea(dsStr);
-            if (idea) {
-                await insertOrIgnore(Idea, idea);
-            }
-        }
-        catch (e) {
-            console.error(`error: ${e}`);
-        }
-        rl.prompt();
-    }
-    unpatch();
-    rl.close();
-}
-
-async function main$1(addr, sequelize) {
-    if (!sequelize) {
-        sequelize = await initializeDatabase(addr);
-    }
-    const rl = readline.createInterface({
-        input: stdin,
-        terminal: false,
-    });
-    for await (const line of rl) {
-        const data = line.trim();
-        if (data === "" || data.startsWith("//")) {
-            continue;
-        }
-        try {
-            const ds = parse(data);
-            const dsStr = ds.toString();
-            await insertOrIgnore(Fact, dsStr);
-            const idea = strRuleGetStrIdea(dsStr);
-            if (idea) {
-                await insertOrIgnore(Idea, idea);
-            }
-        }
-        catch (e) {
-            console.error(`error: ${e}`);
-        }
-    }
-    rl.close();
-}
-
-async function main(addr, sequelize) {
-    if (!sequelize) {
-        sequelize = await initializeDatabase(addr);
-    }
-    let maxFact = -1;
-    let maxIdea = -1;
-    while (true) {
-        const begin = Date.now();
-        let count = 0;
-        const newIdeas = await Idea.findAll({
-            where: { id: { [Op.gt]: maxIdea } },
-        });
-        for (const idea of newIdeas) {
-            maxIdea = Math.max(maxIdea, idea.id);
-            console.log("idea:", unparse(idea.data));
-            count++;
-        }
-        const newFacts = await Fact.findAll({
-            where: { id: { [Op.gt]: maxFact } },
-        });
-        for (const fact of newFacts) {
-            maxFact = Math.max(maxFact, fact.id);
-            console.log("fact:", unparse(fact.data));
-            count++;
-        }
-        const end = Date.now();
-        const duration = (end - begin) / 1000;
-        if (count === 0) {
-            const delay = Math.max(0, 0.1 - duration);
-            await new Promise((resolve) => setTimeout(resolve, delay * 1000));
-        }
-    }
-}
-
-const componentMap = {
-    ds: main$5,
-    egg: main$3,
-    input: main$2,
-    output: main,
-    load: main$1,
-    dump: main$4,
-};
-async function run(addr, components) {
-    for (const name of components) {
-        if (!(name in componentMap)) {
-            console.error(`error: unsupported component: ${name}`);
-            return;
-        }
-    }
-    const sequelize = await initializeDatabase(addr);
-    const promises = components.map((name) => {
-        const component = componentMap[name];
-        return component(addr, sequelize);
-    });
-    await Promise.race(promises);
-    await sequelize.close();
-}
-function cli() {
-    const program = new Command();
-    program
-        .name("ddss")
-        .description("DDSS - Distributed Deductive System Sorts: Run DDSS with an interactive deductive environment.")
-        .option("-a, --addr <url>", "Database address URL. If not provided, uses a temporary SQLite database.")
-        .option("-c, --component <names...>", "Components to run.", ["input", "output", "ds", "egg"])
-        .action(async (options) => {
-        let addr = options.addr;
-        let tmpDir;
-        if (!addr) {
-            tmpDir = await fs.mkdtemp(path.join(os.tmpdir(), "ddss-"));
-            const dbPath = path.join(tmpDir, "ddss.db");
-            addr = `sqlite:///${dbPath}`;
-        }
-        if (addr.startsWith("sqlite://")) {
-            addr = addr.replace("sqlite:///", "sqlite:");
-        }
-        else if (addr.startsWith("mysql:///")) ;
-        else if (addr.startsWith("mariadb://")) ;
-        else if (addr.startsWith("postgresql://")) {
-            addr = addr.replace("postgresql://", "postgres://");
-        }
-        else {
-            console.error(`error: unsupported database: ${addr}`);
-            return;
-        }
-        console.log(`addr: ${addr}`);
-        await run(addr, options.component);
-        if (tmpDir) {
-            await fs.rm(tmpDir, { recursive: true, force: true });
-        }
-    });
-    program.parse();
-}
-if (import.meta.main) {
-    cli();
-}
-
-export { cli };
+import*as t from"node:fs/promises";import*as e from"node:os";import*as n from"node:path";import{Command as o}from"commander";import{Sequelize as s,DataTypes as i,Model as a,Op as r}from"sequelize";import{Search as c,Term as d,List as l,Rule as f}from"atsds";import{format as h}from"node:util";import{stdout as u,stdin as m}from"node:process";import{unparse as g,parse as p}from"atsds-bnf";import{EGraph as w}from"atsds-egg";import*as y from"node:readline/promises";class S extends a{}class A extends a{}async function x(t){const e=new s(t,{logging:!1});return S.init({id:{type:i.INTEGER,primaryKey:!0,autoIncrement:!0},data:{type:i.TEXT,unique:!0,allowNull:!1}},{sequelize:e,tableName:"facts",timestamps:!1}),A.init({id:{type:i.INTEGER,primaryKey:!0,autoIncrement:!0},data:{type:i.TEXT,unique:!0,allowNull:!1}},{sequelize:e,tableName:"ideas",timestamps:!1}),await e.sync(),e}async function M(t,e){await t.bulkCreate([{data:e}],{ignoreDuplicates:!0})}function q(t){if(!t.startsWith("--")){return`----\n${t.split("\n")[0]}\n`}return null}function v(t){return new f(`----\n${t.toString()}\n`)}function C(t){if(0!==t.length())return null;const e=t.conclusion().term();return e instanceof l?4!==e.length()||"binary"!==e.getitem(0).toString()||"=="!==e.getitem(1).toString()?null:[e.getitem(2),e.getitem(3)]:null}function E(t,e){return new d(`(binary == ${t.toString()} ${e.toString()})`)}class b{core;mapping;constructor(){this.core=new w,this.mapping=new Map}getOrAdd(t){const e=t.toString();return this.mapping.has(e)||this.mapping.set(e,this.core.add(t)),this.mapping.get(e)}find(t){return this.core.find(this.getOrAdd(t))}setEquality(t,e){const n=this.getOrAdd(t),o=this.getOrAdd(e);this.core.merge(n,o)}getEquality(t,e){const n=this.getOrAdd(t),o=this.getOrAdd(e);return this.core.find(n)===this.core.find(o)}rebuild(){this.core.rebuild()}}class T{egraph;terms;facts;newlyAddedTerms;newlyAddedFacts;factMatchingCache;constructor(){this.egraph=new b,this.terms=new Set,this.facts=new Set,this.newlyAddedTerms=new Set,this.newlyAddedFacts=new Set,this.factMatchingCache=new Map}rebuild(){this.egraph.rebuild();const t=Array.from(this.newlyAddedTerms).map(t=>new d(t));for(const e of this.facts){const n=new d(e);this.factMatchingCache.has(e)||this.factMatchingCache.set(e,new Set);const o=this.collectMatchingCandidates(n,t);for(const t of o)this.factMatchingCache.get(e).add(t.toString())}const e=Array.from(this.terms).map(t=>new d(t));for(const t of this.newlyAddedFacts){const n=new d(t);this.factMatchingCache.has(t)||this.factMatchingCache.set(t,new Set);const o=this.collectMatchingCandidates(n,e);for(const e of o)this.factMatchingCache.get(t).add(e.toString())}this.newlyAddedTerms.clear(),this.newlyAddedFacts.clear()}add(t){this.addExpr(t),this.addFact(t)}addExpr(t){const e=C(t);if(!e)return;const[n,o]=e;this.terms.add(n.toString()),this.newlyAddedTerms.add(n.toString()),this.terms.add(o.toString()),this.newlyAddedTerms.add(o.toString()),this.egraph.setEquality(n,o)}addFact(t){if(0!==t.length())return;const e=t.conclusion();this.terms.add(e.toString()),this.newlyAddedTerms.add(e.toString()),this.facts.add(e.toString()),this.newlyAddedFacts.add(e.toString())}*execute(t){yield*this.executeExpr(t),yield*this.executeFact(t)}*executeExpr(t){const e=C(t);if(!e)return;const[n,o]=e;this.egraph.getEquality(n,o)&&(yield t);const s=Array.from(this.terms).map(t=>new d(t)),i=this.collectMatchingCandidates(n,s),a=this.collectMatchingCandidates(o,s);if(0===i.length||0===a.length)return;const r=this.groupByEquivalenceClass(i),c=this.groupByEquivalenceClass(a);for(const e of r)for(const n of c)if(e.size>0&&n.size>0){const o=new d(e.values().next().value),s=new d(n.values().next().value);if(this.egraph.getEquality(o,s))for(const o of e)for(const e of n){const n=E(new d(o),new d(e)),s=t.conclusion(),i=n.match(s);if(i){const t=n.ground(i,"1");t&&(yield v(t))}}}}*executeFact(t){if(0!==t.length())return;const e=t.conclusion();for(const n of this.facts)this.egraph.getEquality(e,new d(n))&&(yield t);const n=Array.from(this.terms).map(t=>new d(t)),o=this.collectMatchingCandidates(e,n);if(0===o.length)return;const s=this.groupByEquivalenceClass(o);for(const t of this.facts){const n=this.factMatchingCache.get(t);if(!n||0===n.size)continue;const o=Array.from(n).map(t=>new d(t)),i=this.groupByEquivalenceClass(o);for(const n of s)for(const o of i)if(n.size>0&&o.size>0){const s=new d(n.values().next().value),i=new d(o.values().next().value);if(this.egraph.getEquality(s,i))for(const s of n)for(const n of o){const o=E(new d(s),new d(n)),i=E(e,new d(t)),a=o.match(i);if(a){const t=o.ground(a,"1");if(t){const e=t.term();e instanceof l&&(yield v(e.getitem(2)))}}}}}}collectMatchingCandidates(t,e){return e.filter(e=>null!==t.match(e))}groupByEquivalenceClass(t){if(0===t.length)return[];const e=new Map;for(const n of t){const t=this.egraph.find(n).toString();e.has(t)||e.set(t,new Set),e.get(t).add(n.toString())}return Array.from(e.values())}}const D={ds:async function(t,e){e||(e=await x(t));const n=new c;let o=-1;for(;;){const t=Date.now();let e=0;const s=await S.findAll({where:{id:{[r.gt]:o}}});for(const t of s)o=Math.max(o,t.id),n.add(t.data);const i=[],a=t=>{const e=t.toString();i.push(M(S,e));const n=q(e);return n&&i.push(M(A,n)),!1};e=n.execute(a),await Promise.all(i);const c=(Date.now()-t)/1e3;if(0===e){const t=Math.max(0,.1-c);await new Promise(e=>setTimeout(e,1e3*t))}}},egg:async function(t,e){e||(e=await x(t));const n=new T;let o=[],s=-1,i=-1;for(;;){const t=Date.now();let e=0;const a=await A.findAll({where:{id:{[r.gt]:i}}});for(const t of a)i=Math.max(i,t.id),o.push(new f(t.data));const c=await S.findAll({where:{id:{[r.gt]:s}}});for(const t of c)s=Math.max(s,t.id),n.add(new f(t.data));n.rebuild();const d=[],l=[];for(const t of o){let o=!1;for(const s of n.execute(t))if(d.push(M(S,s.toString())),e++,t.toString()===s.toString()){o=!0;break}o||l.push(t)}o=l,await Promise.all(d);const h=(Date.now()-t)/1e3;if(0===e){const t=Math.max(0,.1-h);await new Promise(e=>setTimeout(e,1e3*t))}}},input:async function(t,e){e||(e=await x(t));const n=y.createInterface({input:m,output:u});n.setPrompt("input: ");const o=function(t){const e=u.write,n=console.log,o=console.error;let s=!1;return u.write=(n,o,i)=>{if(s)return e.call(u,n,o,i);if("\n"===n||"\r\n"===n)return e.call(u,n,o,i);if(n.includes("\n")){e.call(u,"\r");const a=e.call(u,n,o,i);return s=!0,t.prompt(),s=!1,a}return e.call(u,n,o,i)},console.log=(...t)=>{u.write(h(...t)+"\n")},console.error=(...t)=>{u.write(h(...t)+"\n")},()=>{u.write=e,console.log=n,console.error=o}}(n);n.prompt();for await(const t of n){const e=t.trim();if(""===e||e.startsWith("//"))n.prompt();else{try{const t=p(e).toString();await M(S,t);const n=q(t);n&&await M(A,n)}catch(t){console.error(`error: ${t}`)}n.prompt()}}o(),n.close()},output:async function(t,e){e||(e=await x(t));let n=-1,o=-1;for(;;){const t=Date.now();let e=0;const s=await A.findAll({where:{id:{[r.gt]:o}}});for(const t of s)o=Math.max(o,t.id),console.log("idea:",g(t.data)),e++;const i=await S.findAll({where:{id:{[r.gt]:n}}});for(const t of i)n=Math.max(n,t.id),console.log("fact:",g(t.data)),e++;const a=(Date.now()-t)/1e3;if(0===e){const t=Math.max(0,.1-a);await new Promise(e=>setTimeout(e,1e3*t))}}},load:async function(t,e){e||(e=await x(t));const n=y.createInterface({input:m,terminal:!1});for await(const t of n){const e=t.trim();if(""!==e&&!e.startsWith("//"))try{const t=p(e).toString();await M(S,t);const n=q(t);n&&await M(A,n)}catch(t){console.error(`error: ${t}`)}}n.close()},dump:async function(t,e){e||(e=await x(t));const n=await A.findAll();for(const t of n)console.log("idea:",g(t.data));const o=await S.findAll();for(const t of o)console.log("fact:",g(t.data))}};function $(){const s=new o;s.name("ddss").description("DDSS - Distributed Deductive System Sorts: Run DDSS with an interactive deductive environment.").option("-a, --addr <url>","Database address URL. If not provided, uses a temporary SQLite database.").option("-c, --component <names...>","Components to run.",["input","output","ds","egg"]).action(async o=>{let s,i=o.addr;if(!i){s=await t.mkdtemp(n.join(e.tmpdir(),"ddss-"));i=`sqlite:///${n.join(s,"ddss.db")}`}if(i.startsWith("sqlite://"))i=i.replace("sqlite:///","sqlite:");else if(i.startsWith("mysql://"));else if(i.startsWith("mariadb://"));else{if(!i.startsWith("postgresql://"))return void console.error(`error: unsupported database: ${i}`);i=i.replace("postgresql://","postgres://")}console.log(`addr: ${i}`),await async function(t,e){for(const t of e)if(!(t in D))return void console.error(`error: unsupported component: ${t}`);const n=await x(t),o=e.map(e=>(0,D[e])(t,n));await Promise.race(o),await n.close()}(i,o.component),s&&await t.rm(s,{recursive:!0,force:!0})}),s.parse()}import.meta.main&&$();export{$ as cli};

package/package.json

@@ -21,9 +21,9 @@
         "all": "run-s build test"
     },
     "dependencies": {
-        "atsds": "^0.0.13",
-        "atsds-bnf": "^0.0.13",
-        "atsds-egg": "^0.0.13",
+        "atsds": "^0.0.14",
+        "atsds-bnf": "^0.0.14",
+        "atsds-egg": "^0.0.14",
         "commander": "^14.0.2",
         "mariadb": "^3.4.5",
         "mysql2": "^3.16.0",
@@ -32,6 +32,7 @@
         "sqlite3": "^5.1.7"
     },
     "devDependencies": {
+        "@rollup/plugin-terser": "^0.4.4",
         "@rollup/plugin-typescript": "^12.3.0",
         "@types/jest": "^30.0.0",
         "@types/node": "^25.0.3",
@@ -44,5 +45,5 @@
         "tslib": "^2.8.1",
         "typescript": "^5.9.3"
     },
-    "version": "0.0.30"
+    "version": "0.0.32"
 }