solvers asyncGen

solvers-asyncGen

Asynchronous generator-based solver. Combines lazy enumeration with await-bearing goal predicates.

Import

import asyncGen from 'yopl/solvers/asyncGen.js';

Signature

asyncGen(rules, name, args): AsyncGenerator<Env>

Example

import {variable} from 'deep6/env.js';
import assemble from 'deep6/traverse/assemble.js';
import asyncGen from 'yopl/solvers/asyncGen.js';

const rules = {one: () => [{args: [1]}]};
const X = variable('X');

for await (const env of asyncGen(rules, 'one', [X])) {
  console.log(assemble(X, env)); // 1
}