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

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

import { Fact, PrologQueryResult, PrologRule } from '../types/index.js';
/**
 * ProLog Engine for Meta-Log Database
 */
export declare class PrologEngine {
    private facts;
    private rules;
    /**
     * Add facts to the database
     */
    addFacts(facts: Fact[]): void;
    /**
     * Add a rule to the database
     */
    addRule(rule: PrologRule): void;
    /**
     * Build database from facts
     */
    buildDb(facts: Fact[]): void;
    /**
     * Query the database
     */
    query(goal: string): Promise<PrologQueryResult>;
    /**
     * Get all facts
     */
    getFacts(): Fact[];
    /**
     * Get all rules
     */
    getRules(): PrologRule[];
    /**
     * Clear database
     */
    clear(): void;
}
//# sourceMappingURL=engine.d.ts.map