meta-log-db/dist/datalog/fixed-point.d.ts

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

import { Fact, DatalogProgram } from '../types/index.js';
/**
 * Fixed-point computation for DataLog
 */
export declare class FixedPoint {
    /**
     * Compute fixed point of a DataLog program
     */
    static compute(program: DatalogProgram): Fact[];
    /**
     * Apply a rule to generate new facts
     */
    private static applyRule;
    /**
     * Match body predicates against facts
     */
    private static matchBody;
    /**
     * Match a predicate against facts
     */
    private static matchPredicate;
    /**
     * Match arguments (with variable binding)
     */
    private static matchArgs;
    /**
     * Instantiate head with bindings
     */
    private static instantiateHead;
    /**
     * Parse predicate string
     */
    private static parsePredicate;
    /**
     * Merge two match bindings
     */
    private static mergeMatches;
    /**
     * Convert fact to string for set operations
     */
    private static factToString;
    /**
     * Convert facts to strings
     */
    private static factsToStrings;
    /**
     * Convert string back to fact
     */
    private static stringToFact;
}
//# sourceMappingURL=fixed-point.d.ts.map