@cogitator-ai/neuro-symbolic 0.1.0

package/dist/knowledge-graph/reasoning-engine.js

@@ -0,0 +1,337 @@
+const DEFAULT_REASONING_CONFIG = {
+    maxHops: 3,
+    minConfidence: 0.5,
+    maxInferences: 100,
+    enableTransitivity: true,
+    enableInverse: true,
+    enableComposition: true,
+};
+const INVERSE_RELATIONS = {
+    works_at: 'custom',
+    part_of: 'custom',
+    belongs_to: 'custom',
+    created_by: 'custom',
+    knows: 'knows',
+    related_to: 'related_to',
+    associated_with: 'associated_with',
+};
+const TRANSITIVE_RELATIONS = [
+    'part_of',
+    'located_in',
+    'related_to',
+    'associated_with',
+];
+export async function findPath(ctx, startNodeId, endNodeId) {
+    const result = {
+        paths: [],
+        inferences: [],
+        confidence: 0,
+        steps: [],
+    };
+    const pathResult = await ctx.adapter.findShortestPath(ctx.agentId, startNodeId, endNodeId, ctx.config.maxHops);
+    if (pathResult.success && pathResult.data) {
+        result.paths.push(pathResult.data);
+        result.confidence = calculatePathConfidence(pathResult.data);
+        for (let i = 0; i < pathResult.data.edges.length; i++) {
+            const edge = pathResult.data.edges[i];
+            const fromNode = pathResult.data.nodes[i];
+            const toNode = pathResult.data.nodes[i + 1];
+            result.steps.push({
+                type: 'traverse',
+                description: `${fromNode.name} --[${edge.label || edge.type}]--> ${toNode.name}`,
+                fromNode: fromNode.id,
+                toNode: toNode.id,
+                relation: edge.type,
+                confidence: edge.confidence,
+            });
+        }
+    }
+    return result;
+}
+function calculatePathConfidence(path) {
+    if (path.edges.length === 0)
+        return 1.0;
+    let confidence = 1.0;
+    for (const edge of path.edges) {
+        confidence *= edge.confidence * edge.weight;
+    }
+    return confidence;
+}
+export async function multiHopQuery(ctx, startNodeId, relationPath) {
+    const result = {
+        paths: [],
+        inferences: [],
+        confidence: 0,
+        steps: [],
+    };
+    let currentNodes = [];
+    const startResult = await ctx.adapter.getNode(startNodeId);
+    if (!startResult.success || !startResult.data) {
+        return result;
+    }
+    currentNodes.push(startResult.data);
+    const paths = [
+        {
+            nodes: [startResult.data],
+            edges: [],
+            totalWeight: 1,
+            length: 0,
+        },
+    ];
+    for (const relationType of relationPath) {
+        const nextNodes = [];
+        const nextPaths = [];
+        for (let i = 0; i < currentNodes.length; i++) {
+            const node = currentNodes[i];
+            const path = paths[i];
+            const edgesResult = await ctx.adapter.queryEdges({
+                agentId: ctx.agentId,
+                sourceNodeId: node.id,
+                types: [relationType],
+            });
+            if (!edgesResult.success || !edgesResult.data)
+                continue;
+            for (const edge of edgesResult.data) {
+                const targetResult = await ctx.adapter.getNode(edge.targetNodeId);
+                if (!targetResult.success || !targetResult.data)
+                    continue;
+                const targetNode = targetResult.data;
+                nextNodes.push(targetNode);
+                nextPaths.push({
+                    nodes: [...path.nodes, targetNode],
+                    edges: [...path.edges, edge],
+                    totalWeight: path.totalWeight * edge.weight,
+                    length: path.length + 1,
+                });
+                result.steps.push({
+                    type: 'traverse',
+                    description: `${node.name} --[${relationType}]--> ${targetNode.name}`,
+                    fromNode: node.id,
+                    toNode: targetNode.id,
+                    relation: relationType,
+                    confidence: edge.confidence,
+                });
+            }
+        }
+        currentNodes = nextNodes;
+        paths.length = 0;
+        paths.push(...nextPaths);
+    }
+    result.paths = paths;
+    if (paths.length > 0) {
+        result.confidence = Math.max(...paths.map(calculatePathConfidence));
+    }
+    return result;
+}
+export async function inferTransitiveRelations(ctx) {
+    const inferred = [];
+    if (!ctx.config.enableTransitivity) {
+        return inferred;
+    }
+    for (const relationType of TRANSITIVE_RELATIONS) {
+        const edgesResult = await ctx.adapter.queryEdges({
+            agentId: ctx.agentId,
+            types: [relationType],
+        });
+        if (!edgesResult.success || !edgesResult.data)
+            continue;
+        const edges = edgesResult.data;
+        const edgesBySource = new Map();
+        for (const edge of edges) {
+            if (!edgesBySource.has(edge.sourceNodeId)) {
+                edgesBySource.set(edge.sourceNodeId, []);
+            }
+            edgesBySource.get(edge.sourceNodeId).push(edge);
+        }
+        for (const edge of edges) {
+            const transitiveEdges = edgesBySource.get(edge.targetNodeId) || [];
+            for (const transEdge of transitiveEdges) {
+                if (transEdge.targetNodeId === edge.sourceNodeId)
+                    continue;
+                const existingResult = await ctx.adapter.getEdgesBetween(edge.sourceNodeId, transEdge.targetNodeId);
+                if (existingResult.success && existingResult.data && existingResult.data.length > 0) {
+                    const hasType = existingResult.data.some((e) => e.type === relationType);
+                    if (hasType)
+                        continue;
+                }
+                const confidence = Math.min(edge.confidence, transEdge.confidence) * 0.9;
+                if (confidence < ctx.config.minConfidence)
+                    continue;
+                inferred.push({
+                    agentId: ctx.agentId,
+                    sourceNodeId: edge.sourceNodeId,
+                    targetNodeId: transEdge.targetNodeId,
+                    type: relationType,
+                    label: `Inferred: ${relationType} (transitive)`,
+                    weight: Math.min(edge.weight, transEdge.weight),
+                    bidirectional: false,
+                    properties: {},
+                    confidence,
+                    source: 'inferred',
+                    ruleId: 'transitive',
+                    supportingPath: [edge.id, transEdge.id],
+                });
+                if (inferred.length >= ctx.config.maxInferences) {
+                    return inferred;
+                }
+            }
+        }
+    }
+    return inferred;
+}
+export async function inferInverseRelations(ctx) {
+    const inferred = [];
+    if (!ctx.config.enableInverse) {
+        return inferred;
+    }
+    for (const [sourceRel, targetRel] of Object.entries(INVERSE_RELATIONS)) {
+        const edgesResult = await ctx.adapter.queryEdges({
+            agentId: ctx.agentId,
+            types: [sourceRel],
+        });
+        if (!edgesResult.success || !edgesResult.data)
+            continue;
+        for (const edge of edgesResult.data) {
+            if (edge.bidirectional)
+                continue;
+            const existingResult = await ctx.adapter.getEdgesBetween(edge.targetNodeId, edge.sourceNodeId);
+            if (existingResult.success && existingResult.data && existingResult.data.length > 0) {
+                continue;
+            }
+            const confidence = edge.confidence * 0.95;
+            if (confidence < ctx.config.minConfidence)
+                continue;
+            inferred.push({
+                agentId: ctx.agentId,
+                sourceNodeId: edge.targetNodeId,
+                targetNodeId: edge.sourceNodeId,
+                type: targetRel,
+                label: `Inferred: inverse of ${sourceRel}`,
+                weight: edge.weight,
+                bidirectional: false,
+                properties: {},
+                confidence,
+                source: 'inferred',
+                ruleId: 'inverse',
+                supportingPath: [edge.id],
+            });
+            if (inferred.length >= ctx.config.maxInferences) {
+                return inferred;
+            }
+        }
+    }
+    return inferred;
+}
+const COMPOSITION_RULES = [
+    { first: 'works_at', second: 'located_in', result: 'located_in', confidenceMultiplier: 0.8 },
+    { first: 'part_of', second: 'part_of', result: 'part_of', confidenceMultiplier: 0.9 },
+    { first: 'belongs_to', second: 'part_of', result: 'belongs_to', confidenceMultiplier: 0.85 },
+    { first: 'knows', second: 'knows', result: 'related_to', confidenceMultiplier: 0.5 },
+];
+export async function inferComposedRelations(ctx) {
+    const inferred = [];
+    if (!ctx.config.enableComposition) {
+        return inferred;
+    }
+    for (const rule of COMPOSITION_RULES) {
+        const firstEdgesResult = await ctx.adapter.queryEdges({
+            agentId: ctx.agentId,
+            types: [rule.first],
+        });
+        if (!firstEdgesResult.success || !firstEdgesResult.data)
+            continue;
+        for (const firstEdge of firstEdgesResult.data) {
+            const secondEdgesResult = await ctx.adapter.queryEdges({
+                agentId: ctx.agentId,
+                sourceNodeId: firstEdge.targetNodeId,
+                types: [rule.second],
+            });
+            if (!secondEdgesResult.success || !secondEdgesResult.data)
+                continue;
+            for (const secondEdge of secondEdgesResult.data) {
+                if (secondEdge.targetNodeId === firstEdge.sourceNodeId)
+                    continue;
+                const existingResult = await ctx.adapter.getEdgesBetween(firstEdge.sourceNodeId, secondEdge.targetNodeId);
+                if (existingResult.success && existingResult.data && existingResult.data.length > 0) {
+                    const hasType = existingResult.data.some((e) => e.type === rule.result);
+                    if (hasType)
+                        continue;
+                }
+                const confidence = Math.min(firstEdge.confidence, secondEdge.confidence) * rule.confidenceMultiplier;
+                if (confidence < ctx.config.minConfidence)
+                    continue;
+                inferred.push({
+                    agentId: ctx.agentId,
+                    sourceNodeId: firstEdge.sourceNodeId,
+                    targetNodeId: secondEdge.targetNodeId,
+                    type: rule.result,
+                    label: `Inferred: ${rule.first} + ${rule.second} = ${rule.result}`,
+                    weight: Math.min(firstEdge.weight, secondEdge.weight),
+                    bidirectional: false,
+                    properties: {
+                        compositionRule: `${rule.first} + ${rule.second}`,
+                    },
+                    confidence,
+                    source: 'inferred',
+                    ruleId: 'composition',
+                    supportingPath: [firstEdge.id, secondEdge.id],
+                });
+                if (inferred.length >= ctx.config.maxInferences) {
+                    return inferred;
+                }
+            }
+        }
+    }
+    return inferred;
+}
+export async function runFullInference(ctx) {
+    const allInferred = [];
+    const transitive = await inferTransitiveRelations(ctx);
+    allInferred.push(...transitive);
+    if (allInferred.length >= ctx.config.maxInferences) {
+        return allInferred.slice(0, ctx.config.maxInferences);
+    }
+    const inverse = await inferInverseRelations(ctx);
+    allInferred.push(...inverse);
+    if (allInferred.length >= ctx.config.maxInferences) {
+        return allInferred.slice(0, ctx.config.maxInferences);
+    }
+    const composed = await inferComposedRelations(ctx);
+    allInferred.push(...composed);
+    return allInferred.slice(0, ctx.config.maxInferences);
+}
+export class ReasoningEngine {
+    ctx;
+    constructor(adapter, agentId, config = {}) {
+        this.ctx = {
+            adapter,
+            agentId,
+            config: { ...DEFAULT_REASONING_CONFIG, ...config },
+        };
+    }
+    async findPath(startNodeId, endNodeId) {
+        return findPath(this.ctx, startNodeId, endNodeId);
+    }
+    async multiHopQuery(startNodeId, relationPath) {
+        return multiHopQuery(this.ctx, startNodeId, relationPath);
+    }
+    async infer() {
+        return runFullInference(this.ctx);
+    }
+    async inferTransitive() {
+        return inferTransitiveRelations(this.ctx);
+    }
+    async inferInverse() {
+        return inferInverseRelations(this.ctx);
+    }
+    async inferComposed() {
+        return inferComposedRelations(this.ctx);
+    }
+    updateConfig(config) {
+        this.ctx.config = { ...this.ctx.config, ...config };
+    }
+}
+export function createReasoningEngine(adapter, agentId, config) {
+    return new ReasoningEngine(adapter, agentId, config);
+}
+//# sourceMappingURL=reasoning-engine.js.map

package/dist/knowledge-graph/reasoning-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reasoning-engine.js","sourceRoot":"","sources":["../../src/knowledge-graph/reasoning-engine.ts"],"names":[],"mappings":"AAkBA,MAAM,wBAAwB,GAAoB;IAChD,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,GAAG;IAClB,aAAa,EAAE,GAAG;IAClB,kBAAkB,EAAE,IAAI;IACxB,aAAa,EAAE,IAAI;IACnB,iBAAiB,EAAE,IAAI;CACxB,CAAC;AAwBF,MAAM,iBAAiB,GAAiC;IACtD,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,QAAQ;IACjB,UAAU,EAAE,QAAQ;IACpB,UAAU,EAAE,QAAQ;IACpB,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,eAAe,EAAE,iBAAiB;CACnC,CAAC;AAEF,MAAM,oBAAoB,GAAmB;IAC3C,SAAS;IACT,YAAY;IACZ,YAAY;IACZ,iBAAiB;CAClB,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,GAAqB,EACrB,WAAmB,EACnB,SAAiB;IAEjB,MAAM,MAAM,GAAoB;QAC9B,KAAK,EAAE,EAAE;QACT,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,EAAE;KACV,CAAC;IAEF,MAAM,UAAU,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,gBAAgB,CACnD,GAAG,CAAC,OAAO,EACX,WAAW,EACX,SAAS,EACT,GAAG,CAAC,MAAM,CAAC,OAAO,CACnB,CAAC;IAEF,IAAI,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,UAAU,GAAG,uBAAuB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAE7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAE5C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,UAAU;gBAChB,WAAW,EAAE,GAAG,QAAQ,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,QAAQ,MAAM,CAAC,IAAI,EAAE;gBAChF,QAAQ,EAAE,QAAQ,CAAC,EAAE;gBACrB,MAAM,EAAE,MAAM,CAAC,EAAE;gBACjB,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAe;IAC9C,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAExC,IAAI,UAAU,GAAG,GAAG,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,UAAU,IAAI,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,GAAqB,EACrB,WAAmB,EACnB,YAA4B;IAE5B,MAAM,MAAM,GAAoB;QAC9B,KAAK,EAAE,EAAE;QACT,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,EAAE;KACV,CAAC;IAEF,IAAI,YAAY,GAAgB,EAAE,CAAC;IAEnC,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3D,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,KAAK,GAAgB;QACzB;YACE,KAAK,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;YACzB,KAAK,EAAE,EAAE;YACT,WAAW,EAAE,CAAC;YACd,MAAM,EAAE,CAAC;SACV;KACF,CAAC;IAEF,KAAK,MAAM,YAAY,IAAI,YAAY,EAAE,CAAC;QACxC,MAAM,SAAS,GAAgB,EAAE,CAAC;QAClC,MAAM,SAAS,GAAgB,EAAE,CAAC;QAElC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAEtB,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;gBAC/C,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,YAAY,EAAE,IAAI,CAAC,EAAE;gBACrB,KAAK,EAAE,CAAC,YAAY,CAAC;aACtB,CAAC,CAAC;YAEH,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI;gBAAE,SAAS;YAExD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;gBACpC,MAAM,YAAY,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAClE,IAAI,CAAC,YAAY,CAAC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI;oBAAE,SAAS;gBAE1D,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC;gBACrC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAE3B,SAAS,CAAC,IAAI,CAAC;oBACb,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC;oBAClC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;oBAC5B,WAAW,EAAE,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,MAAM;oBAC3C,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC;iBACxB,CAAC,CAAC;gBAEH,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;oBAChB,IAAI,EAAE,UAAU;oBAChB,WAAW,EAAE,GAAG,IAAI,CAAC,IAAI,OAAO,YAAY,QAAQ,UAAU,CAAC,IAAI,EAAE;oBACrE,QAAQ,EAAE,IAAI,CAAC,EAAE;oBACjB,MAAM,EAAE,UAAU,CAAC,EAAE;oBACrB,QAAQ,EAAE,YAAY;oBACtB,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC5B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,YAAY,GAAG,SAAS,CAAC;QACzB,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;IAErB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,GAAqB;IAClE,MAAM,QAAQ,GAAmB,EAAE,CAAC;IAEpC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QACnC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,KAAK,MAAM,YAAY,IAAI,oBAAoB,EAAE,CAAC;QAChD,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;YAC/C,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,KAAK,EAAE,CAAC,YAAY,CAAC;SACtB,CAAC,CAAC;QAEH,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI;YAAE,SAAS;QAExD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC;QAC/B,MAAM,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;QAErD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC1C,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;YAC3C,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;YAEnE,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACxC,IAAI,SAAS,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY;oBAAE,SAAS;gBAE3D,MAAM,cAAc,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,eAAe,CACtD,IAAI,CAAC,YAAY,EACjB,SAAS,CAAC,YAAY,CACvB,CAAC;gBAEF,IAAI,cAAc,CAAC,OAAO,IAAI,cAAc,CAAC,IAAI,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpF,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;oBACzE,IAAI,OAAO;wBAAE,SAAS;gBACxB,CAAC;gBAED,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC;gBAEzE,IAAI,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa;oBAAE,SAAS;gBAEpD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC/B,YAAY,EAAE,SAAS,CAAC,YAAY;oBACpC,IAAI,EAAE,YAAY;oBAClB,KAAK,EAAE,aAAa,YAAY,eAAe;oBAC/C,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC;oBAC/C,aAAa,EAAE,KAAK;oBACpB,UAAU,EAAE,EAAE;oBACd,UAAU;oBACV,MAAM,EAAE,UAAU;oBAClB,MAAM,EAAE,YAAY;oBACpB,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC;iBACxC,CAAC,CAAC;gBAEH,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;oBAChD,OAAO,QAAQ,CAAC;gBAClB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,GAAqB;IAC/D,MAAM,QAAQ,GAAmB,EAAE,CAAC;IAEpC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACvE,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;YAC/C,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,KAAK,EAAE,CAAC,SAAyB,CAAC;SACnC,CAAC,CAAC;QAEH,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI;YAAE,SAAS;QAExD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,aAAa;gBAAE,SAAS;YAEjC,MAAM,cAAc,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,eAAe,CACtD,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,YAAY,CAClB,CAAC;YAEF,IAAI,cAAc,CAAC,OAAO,IAAI,cAAc,CAAC,IAAI,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpF,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;YAE1C,IAAI,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa;gBAAE,SAAS;YAEpD,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,YAAY,EAAE,IAAI,CAAC,YAAY;gBAC/B,YAAY,EAAE,IAAI,CAAC,YAAY;gBAC/B,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,wBAAwB,SAAS,EAAE;gBAC1C,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,EAAE;gBACd,UAAU;gBACV,MAAM,EAAE,UAAU;gBAClB,MAAM,EAAE,SAAS;gBACjB,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;aAC1B,CAAC,CAAC;YAEH,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;gBAChD,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AASD,MAAM,iBAAiB,GAAsB;IAC3C,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,oBAAoB,EAAE,GAAG,EAAE;IAC5F,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,oBAAoB,EAAE,GAAG,EAAE;IACrF,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,oBAAoB,EAAE,IAAI,EAAE;IAC5F,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,oBAAoB,EAAE,GAAG,EAAE;CACrF,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,GAAqB;IAChE,MAAM,QAAQ,GAAmB,EAAE,CAAC;IAEpC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,MAAM,gBAAgB,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;YACpD,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;SACpB,CAAC,CAAC;QAEH,IAAI,CAAC,gBAAgB,CAAC,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI;YAAE,SAAS;QAElE,KAAK,MAAM,SAAS,IAAI,gBAAgB,CAAC,IAAI,EAAE,CAAC;YAC9C,MAAM,iBAAiB,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;gBACrD,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,YAAY,EAAE,SAAS,CAAC,YAAY;gBACpC,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;aACrB,CAAC,CAAC;YAEH,IAAI,CAAC,iBAAiB,CAAC,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI;gBAAE,SAAS;YAEpE,KAAK,MAAM,UAAU,IAAI,iBAAiB,CAAC,IAAI,EAAE,CAAC;gBAChD,IAAI,UAAU,CAAC,YAAY,KAAK,SAAS,CAAC,YAAY;oBAAE,SAAS;gBAEjE,MAAM,cAAc,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,eAAe,CACtD,SAAS,CAAC,YAAY,EACtB,UAAU,CAAC,YAAY,CACxB,CAAC;gBAEF,IAAI,cAAc,CAAC,OAAO,IAAI,cAAc,CAAC,IAAI,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpF,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC;oBACxE,IAAI,OAAO;wBAAE,SAAS;gBACxB,CAAC;gBAED,MAAM,UAAU,GACd,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,oBAAoB,CAAC;gBAEpF,IAAI,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa;oBAAE,SAAS;gBAEpD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,YAAY,EAAE,SAAS,CAAC,YAAY;oBACpC,YAAY,EAAE,UAAU,CAAC,YAAY;oBACrC,IAAI,EAAE,IAAI,CAAC,MAAM;oBACjB,KAAK,EAAE,aAAa,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,MAAM,MAAM,IAAI,CAAC,MAAM,EAAE;oBAClE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC;oBACrD,aAAa,EAAE,KAAK;oBACpB,UAAU,EAAE;wBACV,eAAe,EAAE,GAAG,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,MAAM,EAAE;qBAClD;oBACD,UAAU;oBACV,MAAM,EAAE,UAAU;oBAClB,MAAM,EAAE,aAAa;oBACrB,cAAc,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC;iBAC9C,CAAC,CAAC;gBAEH,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;oBAChD,OAAO,QAAQ,CAAC;gBAClB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,GAAqB;IAC1D,MAAM,WAAW,GAAmB,EAAE,CAAC;IAEvC,MAAM,UAAU,GAAG,MAAM,wBAAwB,CAAC,GAAG,CAAC,CAAC;IACvD,WAAW,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IAEhC,IAAI,WAAW,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QACnD,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,qBAAqB,CAAC,GAAG,CAAC,CAAC;IACjD,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;IAE7B,IAAI,WAAW,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QACnD,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACnD,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;IAE9B,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,OAAO,eAAe;IAClB,GAAG,CAAmB;IAE9B,YAAY,OAAqB,EAAE,OAAe,EAAE,SAAmC,EAAE;QACvF,IAAI,CAAC,GAAG,GAAG;YACT,OAAO;YACP,OAAO;YACP,MAAM,EAAE,EAAE,GAAG,wBAAwB,EAAE,GAAG,MAAM,EAAE;SACnD,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,WAAmB,EAAE,SAAiB;QACnD,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,WAAmB,EAAE,YAA4B;QACnE,OAAO,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;IAC5D,CAAC;IAED,KAAK,CAAC,KAAK;QACT,OAAO,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,KAAK,CAAC,eAAe;QACnB,OAAO,wBAAwB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IAED,KAAK,CAAC,YAAY;QAChB,OAAO,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,KAAK,CAAC,aAAa;QACjB,OAAO,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;IAED,YAAY,CAAC,MAAgC;QAC3C,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IACtD,CAAC;CACF;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAqB,EACrB,OAAe,EACf,MAAiC;IAEjC,OAAO,IAAI,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACvD,CAAC"}

package/dist/logic/builtins.d.ts

@@ -0,0 +1,10 @@
+import type { CompoundTerm, Substitution, BuiltinPredicate } from '@cogitator-ai/types';
+export interface BuiltinResult {
+    success: boolean;
+    substitutions: Substitution[];
+    cut?: boolean;
+}
+export declare function isBuiltin(functor: string, arity: number): boolean;
+export declare function executeBuiltin(goal: CompoundTerm, subst: Substitution): BuiltinResult;
+export declare function getBuiltinList(): BuiltinPredicate[];
+//# sourceMappingURL=builtins.d.ts.map

package/dist/logic/builtins.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtins.d.ts","sourceRoot":"","sources":["../../src/logic/builtins.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAEjB,MAAM,qBAAqB,CAAC;AAY7B,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,GAAG,CAAC,EAAE,OAAO,CAAC;CACf;AAmkBD,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAEjE;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,GAAG,aAAa,CASrF;AAED,wBAAgB,cAAc,IAAI,gBAAgB,EAAE,CA8BnD"}