meta-log-db/dist/prolog/resolution.d.ts

Native database package for Meta-Log (ProLog, DataLog, R5RS)

import { Fact, PrologRule } from '../types/index.js';
/**
 * SLD Resolution for ProLog
 */
export declare class Resolution {
    /**
     * Resolve a goal against facts and rules
     */
    static resolve(goal: string, facts: Fact[], rules: PrologRule[], bindings?: Map<string, any>): Map<string, any>[];
    /**
     * Resolve body goals
     */
    private static resolveBody;
    /**
     * Parse a ProLog term string into structured format
     */
    static parseTerm(termStr: string): any;
    /**
     * Parse arguments from string
     */
    private static parseArgs;
    /**
     * Parse a single argument
     */
    private static parseArg;
}
//# sourceMappingURL=resolution.d.ts.map