prolog-trace-viz 1.1.3 → 2.1.0

package/dist/timeline.d.ts

@@ -0,0 +1,177 @@
+/**
+ * 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' | 'merged';
+    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[];
+    result?: string;
+    queryVarState?: string;
+    parentContext?: 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 originalQuery?;
+    private steps;
+    private stepCounter;
+    private callStack;
+    private subgoalMap;
+    private parentSubgoals;
+    private completedSubgoals;
+    constructor(events: TraceEvent[], sourceClauseMap?: SourceClauseMap | undefined, originalQuery?: string | 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;
+    /**
+     * Merge CALL/EXIT pairs into single steps
+     * This creates a cleaner timeline focused on goal execution rather than trace mechanics
+     */
+    private mergeCallExitPairs;
+    /**
+     * Extract complete variable environment from parent_info
+     * Shows the immediate parent's view of this call
+     */
+    private extractVariableEnvironment;
+    /**
+     * Extract the result argument from a goal
+     * For append([1,2],[3,4],[1|_79854]), extract [1|_79854]
+     */
+    private extractResultFromGoal;
+    /**
+     * Clean up variable names for better readability
+     * Replace internal vars like _79854 and unbound clause vars like R with ? to show holes
+     */
+    private cleanupVariableName;
+    /**
+     * Extract the result value from an EXIT goal
+     * For example, from "append([1,2],[3,4],[1,2,3,4])" extract "[1,2,3,4]"
+     */
+    private extractResult;
+    /**
+     * 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;AAG/C,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC;IACnD,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;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;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;IAAmB,OAAO,CAAC,aAAa,CAAC;IAP3G,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,EAAU,aAAa,CAAC,EAAE,MAAM,YAAA;IAEnH;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAWzB;;OAEG;IACH,KAAK,IAAI,YAAY,EAAE;IAwBvB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IA8C1B;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAiH1B;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IA+ClC;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAc7B;;;OAGG;IACH,OAAO,CAAC,mBAAmB;IAS3B;;;OAGG;IACH,OAAO,CAAC,aAAa;IAWrB;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAqE7B;;;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"}