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

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

/**
 * Unification algorithm for ProLog
 */
export declare class Unification {
    /**
     * Unify two terms
     */
    static unify(term1: any, term2: any, bindings?: Map<string, any>): Map<string, any> | null;
    /**
     * Check if term is a variable (starts with ?)
     */
    static isVariable(term: any): boolean;
    /**
     * Apply bindings to a term
     */
    static applyBindings(term: any, bindings: Map<string, any>): any;
    /**
     * Merge bindings
     */
    static mergeBindings(bindings1: Map<string, any>, bindings2: Map<string, any>): Map<string, any> | null;
}
//# sourceMappingURL=unification.d.ts.map