prolog-trace-viz 1.1.2 → 2.0.0

package/dist/timeline-formatter.js

@@ -0,0 +1,149 @@
+/**
+ * Timeline Formatter - Formats timeline steps into markdown
+ */
+/**
+ * Format timeline steps into markdown
+ */
+export function formatTimeline(steps) {
+    const lines = [];
+    for (const step of steps) {
+        lines.push(...formatStep(step));
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+/**
+ * Format a single timeline step
+ */
+function formatStep(step) {
+    const lines = [];
+    // Step header with box drawing
+    lines.push(`┌─ Step ${step.stepNumber}: ${step.port.toUpperCase()} ${step.goal}`);
+    // Add subgoal marker for CALL steps only
+    if (step.port === 'call' && step.subgoalLabel) {
+        lines.push(`│  ◀── Solving subgoal ${step.subgoalLabel}`);
+    }
+    // Format based on port type
+    switch (step.port) {
+        case 'call':
+            lines.push(...formatCallStep(step));
+            break;
+        case 'exit':
+            lines.push(...formatExitStep(step));
+            break;
+        case 'redo':
+            lines.push(...formatRedoStep(step));
+            break;
+        case 'fail':
+            lines.push(...formatFailStep(step));
+            break;
+    }
+    lines.push('└─');
+    return lines;
+}
+/**
+ * Format CALL step
+ */
+function formatCallStep(step) {
+    const lines = [];
+    // Show pattern match if clause available
+    if (step.clause) {
+        lines.push('│  ');
+        lines.push('│  Pattern Match:');
+        lines.push(`│    Goal: ${step.goal}`);
+        lines.push(`│    Head: ${step.clause.head}`);
+        // Show unifications if any
+        if (step.unifications.length > 0) {
+            for (const unif of step.unifications) {
+                lines.push(`│    ├─ ${unif.variable} = ${unif.value}`);
+            }
+        }
+        lines.push('│  ');
+        // Display clause head and body separately
+        if (step.clause.body && step.clause.body !== 'true') {
+            // Clause with body
+            lines.push(`│  Clause: ${step.clause.head} :- ${step.clause.body} [line ${step.clause.line}]`);
+        }
+        else {
+            // Fact (no body)
+            lines.push(`│  Clause: ${step.clause.head} [line ${step.clause.line}] (fact)`);
+        }
+        // Show spawned subgoals
+        if (step.subgoals.length > 0) {
+            lines.push('│  Spawns subgoals:');
+            for (const subgoal of step.subgoals) {
+                lines.push(`│    ${subgoal.label} ${subgoal.goal}`);
+            }
+        }
+    }
+    return lines;
+}
+/**
+ * Format EXIT step
+ */
+function formatExitStep(step) {
+    const lines = [];
+    // Show completed subgoal marker
+    if (step.subgoalLabel) {
+        lines.push(`│  ◀── Completed subgoal ${step.subgoalLabel}`);
+    }
+    // Show bindings
+    if (step.unifications.length > 0) {
+        lines.push('│  Bindings:');
+        for (const unif of step.unifications) {
+            lines.push(`│    ${unif.variable} = ${unif.value}`);
+        }
+    }
+    // Show return-to reference
+    if (step.returnsTo) {
+        lines.push(`│  Returns to: Step ${step.returnsTo}`);
+    }
+    // Show variable flow notes
+    if (step.variableFlowNotes && step.variableFlowNotes.length > 0) {
+        for (const note of step.variableFlowNotes) {
+            lines.push(`│  Note: ${note}`);
+        }
+    }
+    // Show general note (if any)
+    if (step.note) {
+        lines.push(`│  Note: ${step.note}`);
+    }
+    // Show next subgoal
+    if (step.nextSubgoal) {
+        lines.push(`│  Next: ${step.nextSubgoal}`);
+    }
+    return lines;
+}
+/**
+ * Format REDO step
+ */
+function formatRedoStep(step) {
+    const lines = [];
+    if (step.note) {
+        lines.push(`│  ${step.note}`);
+    }
+    if (step.clause) {
+        lines.push(`│  Trying clause: ${step.clause.head} [line ${step.clause.line}]`);
+    }
+    return lines;
+}
+/**
+ * Format FAIL step
+ */
+function formatFailStep(step) {
+    const lines = [];
+    lines.push('│  Failure');
+    if (step.note) {
+        lines.push(`│  ${step.note}`);
+    }
+    return lines;
+}
+/**
+ * Format built-in predicates concisely
+ */
+function isBuiltIn(goal) {
+    const builtins = ['>', '<', '>=', '=<', '=:=', '=\\=', 'is', '=', '\\=', 'true'];
+    const predicate = goal.match(/^([^(]+)/)?.[1];
+    return predicate ? builtins.includes(predicate) : false;
+}
+//# sourceMappingURL=timeline-formatter.js.map

package/dist/timeline-formatter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"timeline-formatter.js","sourceRoot":"","sources":["../src/timeline-formatter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,KAAqB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CAAC,IAAkB;IACpC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,+BAA+B;IAC/B,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAElF,yCAAyC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,0BAA0B,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,4BAA4B;IAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;YACpC,MAAM;QACR,KAAK,MAAM;YACT,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;YACpC,MAAM;QACR,KAAK,MAAM;YACT,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;YACpC,MAAM;QACR,KAAK,MAAM;YACT,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;YACpC,MAAM;IACV,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEjB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,IAAkB;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,yCAAyC;IACzC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAE7C,2BAA2B;QAC3B,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,QAAQ,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAElB,0CAA0C;QAC1C,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACpD,mBAAmB;YACnB,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,MAAM,CAAC,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,UAAU,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;QACjG,CAAC;aAAM,CAAC;YACN,iBAAiB;YACjB,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,MAAM,CAAC,IAAI,UAAU,IAAI,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC;QACjF,CAAC;QAED,wBAAwB;QACxB,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YAClC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,QAAQ,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,IAAkB;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,gCAAgC;IAChC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,4BAA4B,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,gBAAgB;IAChB,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,uBAAuB,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,2BAA2B;IAC3B,IAAI,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;IAED,oBAAoB;IACpB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,IAAkB;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,MAAM,CAAC,IAAI,UAAU,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;IACjF,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,IAAkB;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEzB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,QAAQ,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACjF,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1D,CAAC"}

package/dist/timeline.d.ts

@@ -0,0 +1,148 @@
+/**
+ * Timeline Builder - Constructs a flat, sequential timeline from trace events
+ */
+import { SourceClauseMap } from './clauses.js';
+export interface TimelineStep {
+    stepNumber: number;
+    port: 'call' | 'exit' | 'redo' | 'fail';
+    level: number;
+    goal: string;
+    clause?: {
+        head: string;
+        body: string;
+        line: number;
+    };
+    unifications: Array<{
+        variable: string;
+        value: string;
+    }>;
+    subgoals: Array<{
+        label: string;
+        goal: string;
+    }>;
+    subgoalLabel?: string;
+    returnsTo?: number;
+    note?: string;
+    nextSubgoal?: string;
+    variableFlowNotes?: string[];
+}
+export interface TraceEvent {
+    port: 'call' | 'exit' | 'redo' | 'fail';
+    level: number;
+    goal: string;
+    predicate: string;
+    arguments?: any[];
+    clause?: {
+        head: string;
+        body: string;
+        line: number;
+    };
+    parent_info?: {
+        level: number;
+        goal: string;
+    };
+}
+/**
+ * Timeline Builder class - processes trace events into timeline steps
+ */
+export declare class TimelineBuilder {
+    private events;
+    private sourceClauseMap?;
+    private steps;
+    private stepCounter;
+    private callStack;
+    private subgoalMap;
+    private parentSubgoals;
+    private completedSubgoals;
+    constructor(events: TraceEvent[], sourceClauseMap?: SourceClauseMap | undefined);
+    /**
+     * Check if a predicate is part of tracer infrastructure and should be filtered
+     */
+    private isTracerPredicate;
+    /**
+     * Build the complete timeline from trace events
+     */
+    build(): TimelineStep[];
+    /**
+     * Backfill clause information from EXIT events to their corresponding CALL events
+     */
+    private backfillClauseInfo;
+    /**
+     * Update subgoal tracking markers based on execution flow
+     * This must run after backfillClauseInfo so we have all subgoals defined
+     */
+    private updateSubgoalTracking;
+    /**
+     * Add variable flow tracking notes to steps
+     * This shows how variables from parent clauses flow into child goals
+     */
+    private addVariableFlowNotes;
+    /**
+     * Extract the value of a variable from a goal based on its position in the clause head
+     */
+    private extractVariableValueFromGoal;
+    /**
+     * Get source clause from the source clause map
+     */
+    private getSourceClause;
+    /**
+     * Find the matching EXIT step for a CALL step
+     */
+    private findMatchingExit;
+    /**
+     * Process a single trace event
+     */
+    private processEvent;
+    /**
+     * Extract subgoals from a clause body
+     */
+    private extractSubgoals;
+    /**
+     * Process CALL event
+     */
+    private processCall;
+    /**
+     * Extract pattern match bindings by comparing goal with clause head
+     * Uses structural decomposition - not heuristics, just comparing known data
+     */
+    private extractPatternMatchBindings;
+    /**
+     * Recursively extract bindings by comparing pattern term with value term
+     * This is structural decomposition, not unification - we're just comparing strings
+     */
+    private extractBindingsFromTermPair;
+    /**
+     * Check if a term is a simple variable
+     */
+    private isSimpleVariable;
+    /**
+     * Find the main operator in a term
+     * Returns null if no operator found
+     */
+    private findOperator;
+    /**
+     * Parse a list pattern
+     */
+    private parseListPattern;
+    /**
+     * Extract unifications by comparing CALL and EXIT goals
+     */
+    private extractUnifications;
+    /**
+     * Split arguments respecting parentheses and brackets
+     */
+    private splitArguments;
+    /**
+     * Process EXIT event
+     */
+    private processExit;
+    /**
+     * Process REDO event
+     */
+    private processRedo;
+    /**
+     * Process FAIL event
+     */
+    private processFail;
+}
+//# sourceMappingURL=timeline.d.ts.map

package/dist/timeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"timeline.d.ts","sourceRoot":"","sources":["../src/timeline.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE;QACP,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;IACF,YAAY,EAAE,KAAK,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;QACjB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC,CAAC;IACH,QAAQ,EAAE,KAAK,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;KACd,CAAC,CAAC;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE;QACP,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;IACF,WAAW,CAAC,EAAE;QACZ,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;CACH;AAED;;GAEG;AACH,qBAAa,eAAe;IAQd,OAAO,CAAC,MAAM;IAAgB,OAAO,CAAC,eAAe,CAAC;IAPlE,OAAO,CAAC,KAAK,CAAsB;IACnC,OAAO,CAAC,WAAW,CAAK;IACxB,OAAO,CAAC,SAAS,CAAkC;IACnD,OAAO,CAAC,UAAU,CAAwE;IAC1F,OAAO,CAAC,cAAc,CAAkE;IACxF,OAAO,CAAC,iBAAiB,CAAkC;gBAEvC,MAAM,EAAE,UAAU,EAAE,EAAU,eAAe,CAAC,EAAE,eAAe,YAAA;IAEnF;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAWzB;;OAEG;IACH,KAAK,IAAI,YAAY,EAAE;IAqBvB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IA8C1B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IA+C7B;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IAuC5B;;OAEG;IACH,OAAO,CAAC,4BAA4B;IA0BpC;;OAEG;IACH,OAAO,CAAC,eAAe;IAiBvB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAgBxB;;OAEG;IACH,OAAO,CAAC,YAAY;IAiBpB;;OAEG;IACH,OAAO,CAAC,eAAe;IAgCvB;;OAEG;IACH,OAAO,CAAC,WAAW;IA8DnB;;;OAGG;IACH,OAAO,CAAC,2BAA2B;IA0BnC;;;OAGG;IACH,OAAO,CAAC,2BAA2B;IAgDnC;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAIxB;;;OAGG;IACH,OAAO,CAAC,YAAY;IAwBpB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAiCxB;;OAEG;IACH,OAAO,CAAC,mBAAmB;IA+B3B;;OAEG;IACH,OAAO,CAAC,cAAc;IA2BtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAkCnB;;OAEG;IACH,OAAO,CAAC,WAAW;IAoBnB;;OAEG;IACH,OAAO,CAAC,WAAW;CAuBpB"}