thaw-grammar/dist/types/languages/prolog/utilities.d.ts

Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.

import { IImmutableSet } from 'thaw-common-utilities.ts';
import { PrologFunctorExpression } from './domain-object-model/prolog-functor-expression';
import { PrologGoal } from './domain-object-model/prolog-goal';
import { ISubstitution } from './domain-object-model/interfaces/isubstitution';
import { IPrologVariable } from './domain-object-model/interfaces/ivariable';
export declare function createGoalFromFunctorExpression(fe: PrologFunctorExpression): PrologGoal;
export declare function createFunctorExpressionFromGoal(goal: PrologGoal): PrologFunctorExpression;
export declare function findBindingVariablesInSubstitution(s: ISubstitution): IImmutableSet<IPrologVariable>;
//# sourceMappingURL=utilities.d.ts.map