View all tau-prolog analysis

How to use the tau-prolog.create function in tau-prolog

To help you get started, we’ve selected a few tau-prolog examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

yarnpkg / berry / packages / plugin-constraints / sources / Constraints.ts View on Github

public constructor(project: Project, source: string) {
    this.session = pl.create();
    linkProjectToSession(this.session, project);

    this.session.consult(source);
  }