@cogitator-ai/neuro-symbolic 0.1.0

package/dist/logic/prompts.js

@@ -0,0 +1,230 @@
+import { termToString } from './unification';
+export function createNLToQueryPrompt(context) {
+    const predicates = context.knowledgeBase.getPredicates();
+    const stats = context.knowledgeBase.getStats();
+    const systemPrompt = `You are a logic programming expert that converts natural language questions into Prolog-style queries.
+
+Available predicates in the knowledge base:
+${predicates.map((p) => `  - ${p}`).join('\n')}
+
+Knowledge base stats:
+  - ${stats.factCount} facts
+  - ${stats.ruleCount} rules
+
+Rules for generating queries:
+1. Use only predicates that exist in the knowledge base
+2. Use variable names that start with uppercase letters (X, Y, Person, Item, etc.)
+3. For "who" questions, use a Person or X variable
+4. For "what" questions, use appropriate variable names
+5. For yes/no questions, generate a ground query if possible
+6. Multiple conditions should be separated by commas
+7. Use underscore (_) for anonymous/unused variables`;
+    const examples = context.examples || getDefaultExamples();
+    const examplesSection = examples.length > 0
+        ? `\n\nExamples:\n${examples.map((e) => `Q: "${e.input}"\nA: ${e.output}`).join('\n\n')}`
+        : '';
+    return `${systemPrompt}${examplesSection}
+
+Convert this natural language query to a Prolog-style query:
+
+Q: "${context.naturalLanguageQuery}"
+A:`;
+}
+function getDefaultExamples() {
+    return [
+        { input: 'Who is the parent of John?', output: 'parent(X, john).' },
+        { input: 'Is Mary the mother of John?', output: 'mother(mary, john).' },
+        { input: 'Find all grandparents of Alice', output: 'grandparent(X, alice).' },
+        { input: 'Who works at Google?', output: 'works_at(Person, google).' },
+        { input: 'What is the capital of France?', output: 'capital(france, City).' },
+        { input: 'Are Tom and Jerry siblings?', output: 'sibling(tom, jerry).' },
+    ];
+}
+export function createNLToFactsPrompt(context) {
+    const predicateInfo = context.existingPredicates?.length
+        ? `\n\nExisting predicates to use when applicable:\n${context.existingPredicates.map((p) => `  - ${p}`).join('\n')}`
+        : '';
+    const domainInfo = context.domain ? `\n\nDomain context: ${context.domain}` : '';
+    return `You are a logic programming expert that extracts facts from natural language text.
+
+Convert the following text into Prolog-style facts.
+
+Rules:
+1. Use lowercase for atoms (constants)
+2. Use descriptive predicate names (parent, owns, works_at, etc.)
+3. Keep predicates consistent in arity
+4. Extract all relevant relationships
+5. Use snake_case for multi-word predicates
+6. Each fact should be on a separate line
+7. End each fact with a period${predicateInfo}${domainInfo}
+
+Text:
+"${context.naturalLanguageText}"
+
+Facts:`;
+}
+export function createNLToRulesPrompt(context) {
+    const predicateInfo = context.existingPredicates?.length
+        ? `\n\nExisting predicates:\n${context.existingPredicates.map((p) => `  - ${p}`).join('\n')}`
+        : '';
+    const rulesInfo = context.existingRules?.length
+        ? `\n\nExisting rules:\n${context.existingRules.join('\n')}`
+        : '';
+    return `You are a logic programming expert that converts natural language rules into Prolog-style rules.
+
+Convert the following natural language rule into a Prolog-style rule.
+
+Rules:
+1. Use :- for "if" relationships
+2. Head of rule comes first, body after :-
+3. Multiple conditions in body separated by commas
+4. Variables start with uppercase
+5. Use meaningful variable names
+6. End with a period${predicateInfo}${rulesInfo}
+
+Natural language rule:
+"${context.naturalLanguageRule}"
+
+Prolog rule:`;
+}
+export function createExplainResultPrompt(context) {
+    const queryStr = context.query.map(termToString).join(', ');
+    const solutionsStr = context.result.solutions
+        .map((s, i) => {
+        const bindings = [];
+        for (const [k, v] of s) {
+            if (!k.startsWith('_')) {
+                bindings.push(`${k} = ${termToString(v)}`);
+            }
+        }
+        return `  Solution ${i + 1}: ${bindings.length > 0 ? bindings.join(', ') : 'true'}`;
+    })
+        .join('\n');
+    return `You are explaining the results of a logic query to a user.
+
+Query: ${queryStr}
+
+${context.result.success
+        ? `Found ${context.result.solutions.length} solution(s):
+${solutionsStr}`
+        : 'Query failed - no solutions found.'}
+
+Explain these results in natural language. Be clear and concise.
+If there are multiple solutions, explain what they represent.
+If the query failed, suggest why it might have failed.
+
+Explanation:`;
+}
+export function createGenerateQueriesPrompt(context) {
+    const predicates = context.knowledgeBase.getPredicates();
+    const count = context.count || 5;
+    const topicInfo = context.topic ? ` about "${context.topic}"` : '';
+    return `You are generating interesting queries for a logic programming knowledge base.
+
+Available predicates:
+${predicates.map((p) => `  - ${p}`).join('\n')}
+
+Generate ${count} interesting and diverse queries${topicInfo}.
+
+Requirements:
+1. Each query should be valid for the available predicates
+2. Include a mix of simple and complex queries
+3. Use variables where appropriate
+4. Include at least one query that might return multiple solutions
+5. Format: one query per line, ending with ?
+
+Queries:`;
+}
+export function createDebugQueryPrompt(context) {
+    const queryStr = context.query.map(termToString).join(', ');
+    const predicates = context.knowledgeBase.getPredicates();
+    const kbSnapshot = context.knowledgeBase.toString().slice(0, 1000);
+    const expectedInfo = context.expectedResult ? `\nExpected result: ${context.expectedResult}` : '';
+    return `You are debugging a logic programming query that may have unexpected results.
+
+Query: ${queryStr}?
+Result: ${context.result.success ? 'success' : 'failure'} with ${context.result.solutions.length} solutions${expectedInfo}
+
+Available predicates:
+${predicates.map((p) => `  - ${p}`).join('\n')}
+
+Knowledge base (first 1000 chars):
+${kbSnapshot}
+
+Analyze the query and explain:
+1. Why the query produced this result
+2. Possible issues with the query
+3. Suggestions for fixing the query
+
+Analysis:`;
+}
+export function formatQueryForLLM(query) {
+    return query.map(termToString).join(', ') + '?';
+}
+export function formatClauseForLLM(clause) {
+    const head = termToString(clause.head);
+    if (clause.body.length === 0) {
+        return `${head}.`;
+    }
+    const body = clause.body.map(termToString).join(', ');
+    return `${head} :- ${body}.`;
+}
+export function formatKnowledgeBaseForLLM(kb, maxClauses = 50) {
+    const clauses = kb.getAllClauses();
+    const sample = clauses.slice(0, maxClauses);
+    const remaining = clauses.length - sample.length;
+    let result = sample.map(formatClauseForLLM).join('\n');
+    if (remaining > 0) {
+        result += `\n... and ${remaining} more clauses`;
+    }
+    return result;
+}
+export function parseLLMQueryResponse(response) {
+    const lines = response
+        .split('\n')
+        .map((l) => l.trim())
+        .filter((l) => l.length > 0 && !l.startsWith('#') && !l.startsWith('//'));
+    const queries = [];
+    for (const line of lines) {
+        const cleaned = line.replace(/^\d+\.\s*/, '').trim();
+        if (cleaned.endsWith('?') || cleaned.endsWith('.')) {
+            queries.push(cleaned.endsWith('?') ? cleaned : cleaned.replace(/\.$/, '?'));
+        }
+        else if (cleaned.includes('(') && cleaned.includes(')')) {
+            queries.push(cleaned + '?');
+        }
+    }
+    return {
+        success: queries.length > 0,
+        queries: queries.length > 0 ? queries : undefined,
+        error: queries.length === 0 ? 'No valid queries found in response' : undefined,
+    };
+}
+export function parseLLMFactsResponse(response) {
+    const lines = response
+        .split('\n')
+        .map((l) => l.trim())
+        .filter((l) => l.length > 0 && !l.startsWith('#') && !l.startsWith('//'));
+    const facts = [];
+    const rules = [];
+    for (const line of lines) {
+        const cleaned = line.replace(/^\d+\.\s*/, '').trim();
+        if (!cleaned.includes('(') || !cleaned.endsWith('.')) {
+            continue;
+        }
+        if (cleaned.includes(':-')) {
+            rules.push(cleaned);
+        }
+        else {
+            facts.push(cleaned);
+        }
+    }
+    const success = facts.length > 0 || rules.length > 0;
+    return {
+        success,
+        facts: facts.length > 0 ? facts : undefined,
+        rules: rules.length > 0 ? rules : undefined,
+        error: success ? undefined : 'No valid facts or rules found in response',
+    };
+}
+//# sourceMappingURL=prompts.js.map

package/dist/logic/prompts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.js","sourceRoot":"","sources":["../../src/logic/prompts.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAS7C,MAAM,UAAU,qBAAqB,CAAC,OAA+B;IACnE,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,aAAa,EAAE,CAAC;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;IAE/C,MAAM,YAAY,GAAG;;;EAGrB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;MAGxC,KAAK,CAAC,SAAS;MACf,KAAK,CAAC,SAAS;;;;;;;;;qDASgC,CAAC;IAEpD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,kBAAkB,EAAE,CAAC;IAE1D,MAAM,eAAe,GACnB,QAAQ,CAAC,MAAM,GAAG,CAAC;QACjB,CAAC,CAAC,kBAAkB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;QACzF,CAAC,CAAC,EAAE,CAAC;IAET,OAAO,GAAG,YAAY,GAAG,eAAe;;;;MAIpC,OAAO,CAAC,oBAAoB;GAC/B,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB;IACzB,OAAO;QACL,EAAE,KAAK,EAAE,4BAA4B,EAAE,MAAM,EAAE,kBAAkB,EAAE;QACnE,EAAE,KAAK,EAAE,6BAA6B,EAAE,MAAM,EAAE,qBAAqB,EAAE;QACvE,EAAE,KAAK,EAAE,gCAAgC,EAAE,MAAM,EAAE,wBAAwB,EAAE;QAC7E,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,2BAA2B,EAAE;QACtE,EAAE,KAAK,EAAE,gCAAgC,EAAE,MAAM,EAAE,wBAAwB,EAAE;QAC7E,EAAE,KAAK,EAAE,6BAA6B,EAAE,MAAM,EAAE,sBAAsB,EAAE;KACzE,CAAC;AACJ,CAAC;AAQD,MAAM,UAAU,qBAAqB,CAAC,OAA+B;IACnE,MAAM,aAAa,GAAG,OAAO,CAAC,kBAAkB,EAAE,MAAM;QACtD,CAAC,CAAC,oDAAoD,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACpH,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,uBAAuB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAEjF,OAAO;;;;;;;;;;;gCAWuB,aAAa,GAAG,UAAU;;;GAGvD,OAAO,CAAC,mBAAmB;;OAEvB,CAAC;AACR,CAAC;AAQD,MAAM,UAAU,qBAAqB,CAAC,OAA+B;IACnE,MAAM,aAAa,GAAG,OAAO,CAAC,kBAAkB,EAAE,MAAM;QACtD,CAAC,CAAC,6BAA6B,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC7F,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,MAAM;QAC7C,CAAC,CAAC,wBAAwB,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC5D,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO;;;;;;;;;;sBAUa,aAAa,GAAG,SAAS;;;GAG5C,OAAO,CAAC,mBAAmB;;aAEjB,CAAC;AACd,CAAC;AAQD,MAAM,UAAU,yBAAyB,CAAC,OAAmC;IAC3E,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS;SAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACZ,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;QACD,OAAO,cAAc,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACtF,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO;;SAEA,QAAQ;;EAGf,OAAO,CAAC,MAAM,CAAC,OAAO;QACpB,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM;EAC5C,YAAY,EAAE;QACZ,CAAC,CAAC,oCACN;;;;;;aAMa,CAAC;AACd,CAAC;AAQD,MAAM,UAAU,2BAA2B,CAAC,OAAqC;IAC/E,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,aAAa,EAAE,CAAC;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAEnE,OAAO;;;EAGP,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;WAEnC,KAAK,mCAAmC,SAAS;;;;;;;;;SASnD,CAAC;AACV,CAAC;AASD,MAAM,UAAU,sBAAsB,CAAC,OAAgC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,aAAa,EAAE,CAAC;IACzD,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAEnE,MAAM,YAAY,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,sBAAsB,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAElG,OAAO;;SAEA,QAAQ;UACP,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,SAAS,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,aAAa,YAAY;;;EAGvH,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;EAG5C,UAAU;;;;;;;UAOF,CAAC;AACX,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAqB;IACrD,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,GAAG,IAAI,GAAG,CAAC;IACpB,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,OAAO,GAAG,IAAI,OAAO,IAAI,GAAG,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAiB,EAAE,aAAqB,EAAE;IAClF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAEjD,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEvD,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,aAAa,SAAS,eAAe,CAAC;IAClD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAUD,MAAM,UAAU,qBAAqB,CAAC,QAAgB;IACpD,MAAM,KAAK,GAAG,QAAQ;SACnB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAE5E,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAErD,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9E,CAAC;aAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1D,OAAO,CAAC,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC;QAC3B,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACjD,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,oCAAoC,CAAC,CAAC,CAAC,SAAS;KAC/E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,QAAgB;IACpD,MAAM,KAAK,GAAG,QAAQ;SACnB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAE5E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAErD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAErD,OAAO;QACL,OAAO;QACP,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;QAC3C,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;QAC3C,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,2CAA2C;KACzE,CAAC;AACJ,CAAC"}

package/dist/logic/proof-tree.d.ts

@@ -0,0 +1,30 @@
+import type { ProofNode, ProofTree, Term, Substitution } from '@cogitator-ai/types';
+export interface ProofTreeOptions {
+    maxDepth?: number;
+    showSubstitutions?: boolean;
+    showClauseUsed?: boolean;
+    collapseFailures?: boolean;
+    indent?: string;
+}
+export declare function formatProofTree(tree: ProofTree, options?: ProofTreeOptions): string;
+export interface ProofPath {
+    nodes: ProofNode[];
+    bindings: Substitution;
+}
+export declare function extractProofPaths(tree: ProofTree): ProofPath[];
+export declare function formatProofPath(path: ProofPath, template?: Term): string;
+export interface ProofStats {
+    totalNodes: number;
+    successNodes: number;
+    failureNodes: number;
+    cutNodes: number;
+    maxBranchingFactor: number;
+    avgBranchingFactor: number;
+    leafNodes: number;
+    uniquePredicates: Set<string>;
+}
+export declare function analyzeProofTree(tree: ProofTree): ProofStats;
+export declare function pruneProofTree(tree: ProofTree, keepSuccessOnly?: boolean): ProofTree;
+export declare function proofTreeToMermaid(tree: ProofTree): string;
+export declare function proofTreeToJSON(tree: ProofTree): object;
+//# sourceMappingURL=proof-tree.d.ts.map

package/dist/logic/proof-tree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-tree.d.ts","sourceRoot":"","sources":["../../src/logic/proof-tree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAGpF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAUD,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,GAAE,gBAAqB,GAAG,MAAM,CAiBvF;AA+ED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,QAAQ,EAAE,YAAY,CAAC;CACxB;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,EAAE,CAwB9D;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,IAAI,GAAG,MAAM,CAsCxE;AAED,MAAM,WAAW,UAAU;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC/B;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,SAAS,GAAG,UAAU,CAuD5D;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,eAAe,GAAE,OAAc,GAAG,SAAS,CA6B1F;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CA6B1D;AAmBD,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAkCvD"}

package/dist/logic/proof-tree.js

@@ -0,0 +1,281 @@
+import { termToString, applySubstitution } from './unification';
+const defaultOptions = {
+    maxDepth: Infinity,
+    showSubstitutions: true,
+    showClauseUsed: true,
+    collapseFailures: false,
+    indent: '  ',
+};
+export function formatProofTree(tree, options = {}) {
+    const opts = { ...defaultOptions, ...options };
+    const lines = [];
+    lines.push('╔════════════════════════════════════════════════════════════════╗');
+    lines.push('║                        PROOF TREE                              ║');
+    lines.push('╠════════════════════════════════════════════════════════════════╣');
+    lines.push(`║ Solutions: ${tree.solutions.length}`.padEnd(67) + '║');
+    lines.push(`║ Explored nodes: ${tree.exploredNodes}`.padEnd(67) + '║');
+    lines.push(`║ Max depth: ${tree.maxDepth}`.padEnd(67) + '║');
+    lines.push(`║ Duration: ${tree.duration}ms`.padEnd(67) + '║');
+    lines.push('╚════════════════════════════════════════════════════════════════╝');
+    lines.push('');
+    formatNode(tree.root, 0, '', true, lines, opts);
+    return lines.join('\n');
+}
+function formatNode(node, depth, prefix, isLast, lines, opts) {
+    if (depth > opts.maxDepth) {
+        return;
+    }
+    if (opts.collapseFailures && node.status === 'failure' && node.children.length === 0) {
+        return;
+    }
+    const statusIcon = getStatusIcon(node.status);
+    const connector = depth === 0 ? '' : isLast ? '└── ' : '├── ';
+    const goalStr = termToString(node.goal);
+    let line = `${prefix}${connector}${statusIcon} ${goalStr}`;
+    if (opts.showSubstitutions && node.substitution.size > 0) {
+        const relevantBindings = getRelevantBindings(node);
+        if (relevantBindings.length > 0) {
+            line += ` {${relevantBindings.join(', ')}}`;
+        }
+    }
+    if (opts.showClauseUsed && node.clause) {
+        const clauseHead = termToString(node.clause.head);
+        if (node.clause.body.length > 0) {
+            const clauseBody = node.clause.body.map(termToString).join(', ');
+            line += ` ← ${clauseHead} :- ${clauseBody}`;
+        }
+        else {
+            line += ` ← ${clauseHead}`;
+        }
+    }
+    lines.push(line);
+    const childPrefix = prefix + (depth === 0 ? '' : isLast ? '    ' : '│   ');
+    for (let i = 0; i < node.children.length; i++) {
+        const child = node.children[i];
+        const isLastChild = i === node.children.length - 1;
+        formatNode(child, depth + 1, childPrefix, isLastChild, lines, opts);
+    }
+}
+function getStatusIcon(status) {
+    switch (status) {
+        case 'success':
+            return '✓';
+        case 'failure':
+            return '✗';
+        case 'pending':
+            return '○';
+        case 'cut':
+            return '!';
+        default:
+            return '?';
+    }
+}
+function getRelevantBindings(node) {
+    const bindings = [];
+    for (const [varName, term] of node.substitution) {
+        if (!varName.startsWith('_') && !varName.includes('_')) {
+            bindings.push(`${varName}=${termToString(term)}`);
+        }
+    }
+    return bindings;
+}
+export function extractProofPaths(tree) {
+    const paths = [];
+    function traverse(node, currentPath) {
+        currentPath.push(node);
+        if (node.status === 'success' && node.children.length === 0) {
+            paths.push({
+                nodes: [...currentPath],
+                bindings: node.substitution,
+            });
+        }
+        for (const child of node.children) {
+            if (child.status === 'success' || child.status === 'cut') {
+                traverse(child, currentPath);
+            }
+        }
+        currentPath.pop();
+    }
+    traverse(tree.root, []);
+    return paths;
+}
+export function formatProofPath(path, template) {
+    const lines = [];
+    lines.push('Proof path:');
+    for (let i = 0; i < path.nodes.length; i++) {
+        const node = path.nodes[i];
+        const indent = '  '.repeat(i);
+        const goalStr = termToString(node.goal);
+        if (node.clause) {
+            const clauseStr = node.clause.body.length > 0
+                ? `${termToString(node.clause.head)} :- ${node.clause.body.map(termToString).join(', ')}`
+                : termToString(node.clause.head);
+            lines.push(`${indent}${goalStr} [using: ${clauseStr}]`);
+        }
+        else {
+            lines.push(`${indent}${goalStr}`);
+        }
+    }
+    if (path.bindings.size > 0) {
+        lines.push('');
+        lines.push('Bindings:');
+        for (const [varName, term] of path.bindings) {
+            if (!varName.startsWith('_')) {
+                lines.push(`  ${varName} = ${termToString(term)}`);
+            }
+        }
+    }
+    if (template) {
+        lines.push('');
+        const result = applySubstitution(template, path.bindings);
+        lines.push(`Result: ${termToString(result)}`);
+    }
+    return lines.join('\n');
+}
+export function analyzeProofTree(tree) {
+    const stats = {
+        totalNodes: 0,
+        successNodes: 0,
+        failureNodes: 0,
+        cutNodes: 0,
+        maxBranchingFactor: 0,
+        avgBranchingFactor: 0,
+        leafNodes: 0,
+        uniquePredicates: new Set(),
+    };
+    let totalBranching = 0;
+    let internalNodes = 0;
+    function traverse(node) {
+        stats.totalNodes++;
+        if (node.goal.functor) {
+            stats.uniquePredicates.add(`${node.goal.functor}/${node.goal.args.length}`);
+        }
+        switch (node.status) {
+            case 'success':
+                stats.successNodes++;
+                break;
+            case 'failure':
+                stats.failureNodes++;
+                break;
+            case 'cut':
+                stats.cutNodes++;
+                break;
+        }
+        if (node.children.length === 0) {
+            stats.leafNodes++;
+        }
+        else {
+            internalNodes++;
+            totalBranching += node.children.length;
+            if (node.children.length > stats.maxBranchingFactor) {
+                stats.maxBranchingFactor = node.children.length;
+            }
+        }
+        for (const child of node.children) {
+            traverse(child);
+        }
+    }
+    traverse(tree.root);
+    stats.avgBranchingFactor = internalNodes > 0 ? totalBranching / internalNodes : 0;
+    return stats;
+}
+export function pruneProofTree(tree, keepSuccessOnly = true) {
+    function pruneNode(node) {
+        if (keepSuccessOnly && node.status === 'failure') {
+            return null;
+        }
+        const prunedChildren = [];
+        for (const child of node.children) {
+            const pruned = pruneNode(child);
+            if (pruned) {
+                prunedChildren.push(pruned);
+            }
+        }
+        return {
+            ...node,
+            children: prunedChildren,
+        };
+    }
+    const prunedRoot = pruneNode(tree.root);
+    return {
+        root: prunedRoot || tree.root,
+        solutions: tree.solutions,
+        exploredNodes: tree.exploredNodes,
+        maxDepth: tree.maxDepth,
+        duration: tree.duration,
+    };
+}
+export function proofTreeToMermaid(tree) {
+    const lines = ['graph TD'];
+    let nodeCounter = 0;
+    const nodeIds = new Map();
+    function getNodeId(node) {
+        if (!nodeIds.has(node)) {
+            nodeIds.set(node, `N${nodeCounter++}`);
+        }
+        return nodeIds.get(node);
+    }
+    function traverse(node) {
+        const id = getNodeId(node);
+        const label = escapeLabel(termToString(node.goal));
+        const style = getNodeStyle(node.status);
+        lines.push(`    ${id}["${label}"]${style}`);
+        for (const child of node.children) {
+            const childId = getNodeId(child);
+            traverse(child);
+            lines.push(`    ${id} --> ${childId}`);
+        }
+    }
+    traverse(tree.root);
+    return lines.join('\n');
+}
+function escapeLabel(str) {
+    return str.replace(/"/g, '\\"').replace(/\n/g, ' ');
+}
+function getNodeStyle(status) {
+    switch (status) {
+        case 'success':
+            return ':::success';
+        case 'failure':
+            return ':::failure';
+        case 'cut':
+            return ':::cut';
+        default:
+            return '';
+    }
+}
+export function proofTreeToJSON(tree) {
+    function nodeToJSON(node) {
+        return {
+            id: node.id,
+            goal: termToString(node.goal),
+            status: node.status,
+            depth: node.depth,
+            clause: node.clause
+                ? {
+                    head: termToString(node.clause.head),
+                    body: node.clause.body.map(termToString),
+                }
+                : null,
+            children: node.children.map(nodeToJSON),
+        };
+    }
+    return {
+        root: nodeToJSON(tree.root),
+        solutions: tree.solutions.map((s) => {
+            const obj = {};
+            for (const [k, v] of s) {
+                if (!k.startsWith('_')) {
+                    obj[k] = termToString(v);
+                }
+            }
+            return obj;
+        }),
+        stats: {
+            exploredNodes: tree.exploredNodes,
+            maxDepth: tree.maxDepth,
+            duration: tree.duration,
+        },
+    };
+}
+//# sourceMappingURL=proof-tree.js.map

package/dist/logic/proof-tree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-tree.js","sourceRoot":"","sources":["../../src/logic/proof-tree.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAUhE,MAAM,cAAc,GAA+B;IACjD,QAAQ,EAAE,QAAQ;IAClB,iBAAiB,EAAE,IAAI;IACvB,cAAc,EAAE,IAAI;IACpB,gBAAgB,EAAE,KAAK;IACvB,MAAM,EAAE,IAAI;CACb,CAAC;AAEF,MAAM,UAAU,eAAe,CAAC,IAAe,EAAE,UAA4B,EAAE;IAC7E,MAAM,IAAI,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC;IACvE,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAEhD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,UAAU,CACjB,IAAe,EACf,KAAa,EACb,MAAc,EACd,MAAe,EACf,KAAe,EACf,IAAgC;IAEhC,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC1B,OAAO;IACT,CAAC;IAED,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrF,OAAO;IACT,CAAC;IAED,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAExC,IAAI,IAAI,GAAG,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,IAAI,OAAO,EAAE,CAAC;IAE3D,IAAI,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACzD,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,IAAI,IAAI,KAAK,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjE,IAAI,IAAI,MAAM,UAAU,OAAO,UAAU,EAAE,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,IAAI,IAAI,MAAM,UAAU,EAAE,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEjB,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAE3E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,WAAW,GAAG,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACnD,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACtE,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,MAA2B;IAChD,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC;QACb,KAAK,KAAK;YACR,OAAO,GAAG,CAAC;QACb;YACE,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAe;IAC1C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAOD,MAAM,UAAU,iBAAiB,CAAC,IAAe;IAC/C,MAAM,KAAK,GAAgB,EAAE,CAAC;IAE9B,SAAS,QAAQ,CAAC,IAAe,EAAE,WAAwB;QACzD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEvB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,CAAC,GAAG,WAAW,CAAC;gBACvB,QAAQ,EAAE,IAAI,CAAC,YAAY;aAC5B,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;gBACzD,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;QAED,WAAW,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAe,EAAE,QAAe;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAE1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAExC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,SAAS,GACb,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;gBACzB,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACzF,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,OAAO,YAAY,SAAS,GAAG,CAAC,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC5C,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,MAAM,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,WAAW,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAaD,MAAM,UAAU,gBAAgB,CAAC,IAAe;IAC9C,MAAM,KAAK,GAAe;QACxB,UAAU,EAAE,CAAC;QACb,YAAY,EAAE,CAAC;QACf,YAAY,EAAE,CAAC;QACf,QAAQ,EAAE,CAAC;QACX,kBAAkB,EAAE,CAAC;QACrB,kBAAkB,EAAE,CAAC;QACrB,SAAS,EAAE,CAAC;QACZ,gBAAgB,EAAE,IAAI,GAAG,EAAE;KAC5B,CAAC;IAEF,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,SAAS,QAAQ,CAAC,IAAe;QAC/B,KAAK,CAAC,UAAU,EAAE,CAAC;QAEnB,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACtB,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9E,CAAC;QAED,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;YACpB,KAAK,SAAS;gBACZ,KAAK,CAAC,YAAY,EAAE,CAAC;gBACrB,MAAM;YACR,KAAK,SAAS;gBACZ,KAAK,CAAC,YAAY,EAAE,CAAC;gBACrB,MAAM;YACR,KAAK,KAAK;gBACR,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACjB,MAAM;QACV,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,SAAS,EAAE,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,aAAa,EAAE,CAAC;YAChB,cAAc,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAEvC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,kBAAkB,EAAE,CAAC;gBACpD,KAAK,CAAC,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAClD,CAAC;QACH,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEpB,KAAK,CAAC,kBAAkB,GAAG,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAElF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAe,EAAE,kBAA2B,IAAI;IAC7E,SAAS,SAAS,CAAC,IAAe;QAChC,IAAI,eAAe,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,cAAc,GAAgB,EAAE,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,MAAM,EAAE,CAAC;gBACX,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QAED,OAAO;YACL,GAAG,IAAI;YACP,QAAQ,EAAE,cAAc;SACzB,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAExC,OAAO;QACL,IAAI,EAAE,UAAU,IAAI,IAAI,CAAC,IAAI;QAC7B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAe;IAChD,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,CAAC;IACrC,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IAE7C,SAAS,SAAS,CAAC,IAAe;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,WAAW,EAAE,EAAE,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;IAC5B,CAAC;IAED,SAAS,QAAQ,CAAC,IAAe;QAC/B,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAExC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;QAE5C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YACjC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,OAAO,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEpB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,WAAW,CAAC,GAAW;IAC9B,OAAO,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,YAAY,CAAC,MAA2B;IAC/C,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,YAAY,CAAC;QACtB,KAAK,SAAS;YACZ,OAAO,YAAY,CAAC;QACtB,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC;QAClB;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAe;IAC7C,SAAS,UAAU,CAAC,IAAe;QACjC,OAAO;YACL,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7B,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACjB,CAAC,CAAC;oBACE,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;oBACpC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC;iBACzC;gBACH,CAAC,CAAC,IAAI;YACR,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;SACxC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAClC,MAAM,GAAG,GAA2B,EAAE,CAAC;YACvC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBACvB,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC,CAAC;QACF,KAAK,EAAE;YACL,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB;KACF,CAAC;AACJ,CAAC"}

package/dist/logic/resolver.d.ts

@@ -0,0 +1,16 @@
+import type { Term, CompoundTerm, LogicQueryResult, LogicProgrammingConfig } from '@cogitator-ai/types';
+import { KnowledgeBase } from './knowledge-base';
+export declare class SLDResolver {
+    private kb;
+    private config;
+    constructor(kb: KnowledgeBase, config?: Partial<LogicProgrammingConfig>);
+    query(goals: CompoundTerm[]): LogicQueryResult;
+    prove(goal: CompoundTerm): boolean;
+    findAll(goal: CompoundTerm, template: Term): Term[];
+    updateConfig(config: Partial<LogicProgrammingConfig>): void;
+    getKnowledgeBase(): KnowledgeBase;
+}
+export declare function createResolver(kb: KnowledgeBase, config?: Partial<LogicProgrammingConfig>): SLDResolver;
+export declare function queryKnowledgeBase(kb: KnowledgeBase, queryString: string, config?: Partial<LogicProgrammingConfig>): LogicQueryResult;
+export declare function formatSolutions(result: LogicQueryResult): string;
+//# sourceMappingURL=resolver.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.d.ts","sourceRoot":"","sources":["../../src/logic/resolver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,IAAI,EACJ,YAAY,EAKZ,gBAAgB,EAChB,sBAAsB,EACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAkZjD,qBAAa,WAAW;IACtB,OAAO,CAAC,EAAE,CAAgB;IAC1B,OAAO,CAAC,MAAM,CAAmC;gBAErC,EAAE,EAAE,aAAa,EAAE,MAAM,GAAE,OAAO,CAAC,sBAAsB,CAAM;IAK3E,KAAK,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,gBAAgB;IAuD9C,KAAK,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO;IAKlC,OAAO,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,GAAG,IAAI,EAAE;IAKnD,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,sBAAsB,CAAC,GAAG,IAAI;IAI3D,gBAAgB,IAAI,aAAa;CAGlC;AAED,wBAAgB,cAAc,CAC5B,EAAE,EAAE,aAAa,EACjB,MAAM,CAAC,EAAE,OAAO,CAAC,sBAAsB,CAAC,GACvC,WAAW,CAEb;AAED,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,aAAa,EACjB,WAAW,EAAE,MAAM,EACnB,MAAM,CAAC,EAAE,OAAO,CAAC,sBAAsB,CAAC,GACvC,gBAAgB,CAelB;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CA+BhE"}