eyereasoner
Version:
Distributing the [EYE](https://github.com/eyereasoner/eye) reasoner for browser and node using WebAssembly.
21 lines (20 loc) • 997 B
TypeScript
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;