prolog-trace-viz 1.0.0

package/dist/parser.d.ts

@@ -0,0 +1,84 @@
+export interface Unification {
+    variable: string;
+    value: string;
+}
+export interface TraceEvent {
+    port: 'call' | 'exit' | 'redo' | 'fail';
+    level: number;
+    goal: string;
+    arguments?: any[];
+    clause?: {
+        head: string;
+        body: string;
+        line: number;
+    };
+    predicate: string;
+}
+export interface ExecutionNode {
+    id: string;
+    type: 'query' | 'goal' | 'success' | 'failure';
+    goal: string;
+    binding?: string;
+    unifications?: Unification[];
+    clauseNumber?: number;
+    clauseLine?: number;
+    children: ExecutionNode[];
+    subgoals?: string[];
+    level: number;
+    arguments?: any[];
+}
+export interface Bundle {
+    goal: string;
+    chunks: Chunk[];
+    subgoals?: string[];
+}
+export interface Chunk {
+    binding?: string;
+    content: string | Bundle | Tabular;
+}
+export interface Tabular {
+    type: 'tabular';
+    subgoals: string[];
+}
+/**
+ * Parses sldnfdraw LaTeX output into an execution tree.
+ */
+export declare function parseLatex(latex: string): ExecutionNode;
+/**
+ * Extracts all top-level bundle structures from LaTeX content.
+ */
+export declare function extractBundles(latex: string): Bundle[];
+/**
+ * Extracts chunks from bundle content.
+ */
+export declare function extractChunks(content: string): Chunk[];
+/**
+ * Serializes an ExecutionNode back to LaTeX format (for round-trip testing).
+ */
+export declare function serializeToLatex(node: ExecutionNode): string;
+/**
+ * Parses JSON trace events from the custom tracer into an execution tree.
+ */
+export declare function parseTraceJson(json: string): ExecutionNode;
+/**
+ * Clears internal caches to free memory.
+ * Call this periodically when processing many large traces.
+ */
+export declare function clearParserCaches(): void;
+/**
+ * Performance benchmark results
+ */
+export interface BenchmarkResult {
+    parseTime: number;
+    eventsPerSecond: number;
+    memoryUsed: number;
+    nodeCount: number;
+    maxDepth: number;
+    cacheHitRate?: number;
+}
+/**
+ * Benchmarks the JSON parser performance with the given trace data.
+ * Returns detailed performance metrics.
+ */
+export declare function benchmarkParser(json: string): BenchmarkResult;
+//# sourceMappingURL=parser.d.ts.map

package/dist/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf;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,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,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,WAAW,EAAE,CAAC;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,KAAK;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CACpC;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AA4BD;;GAEG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,CAsBvD;AA+CD;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBtD;AA8ED;;GAEG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,EAAE,CA0CtD;AAuGD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CAE5D;AAuCD;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAG1D;AAkhBD;;;GAGG;AACH,wBAAgB,iBAAiB,IAAI,IAAI,CAExC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAiD7D"}