UNPKG

eyereasoner

Version:

Distributing the [EYE](https://github.com/eyereasoner/eye) reasoner for browser and node using WebAssembly.

21 lines (20 loc) 997 B
import type { SWIPLModule } from 'swipl-wasm'; export declare function buildQuery(name: string, args: string | string[]): string; /** * Executes a question/answer query * @param Module The module to execute the query on * @param name The name of the query function * @param args The arguments of the query function * @param cb The callback for question/answering * @returns The result of the query */ export declare function qaQuery(module: SWIPLModule, queryString: string, args: string | string[], cb: (res: string) => Promise<string>): Promise<void>; /** * Executes a query * @param Module The module to execute the query on * @param name The name of the query function * @param args The arguments of the query function * @returns The result of the query */ export declare function query(Module: SWIPLModule, name: string, args: string[] | string): import("swipl-wasm").Query; export declare function queryOnce(Module: SWIPLModule, name: string, args: string[] | string): unknown;