/**
 * Module for parsing Prolog clauses and matching them to execution traces.
 */
export interface Clause {
    number: number;
    head: string;
    body?: string;
    text: string;
}
/**
 * Maps line numbers to source clauses for preserving original variable names
 */
export interface SourceClauseMap {
    [lineNumber: number]: Clause;
}
/**
 * Parses a Prolog file and extracts clauses.
 * Filters out directives, comments, and non-predicate statements.
 */
export declare function parsePrologFile(content: string): Clause[];
/**
 * Builds a map from line numbers to source clauses for quick lookup.
 * This preserves original variable names from the source file.
 */
export declare function buildSourceClauseMap(content: string): SourceClauseMap;
//# sourceMappingURL=clauses.d.ts.map