How to use the tau-prolog.error 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 / tauModule.ts View on Github 
[`workspace_field/3`]: (thread, point, atom) => {
const [workspaceCwd, fieldName, fieldValue] = atom.args;
if (!isAtom(workspaceCwd) || !isAtom(fieldName)) {
thread.throwError(pl.error.instantiation(atom.indicator));
return;
}
const project = getProject(thread);
const workspace = project.tryWorkspaceByCwd(workspaceCwd.id as PortablePath);
// Workspace not found => this predicate can never match
// We might want to throw here? We can be pretty sure the user did
// something wrong at this point
if (workspace == null)
return;
const value = getPath(workspace.manifest.raw!, fieldName.id);
// Field is not present => this predicate can never match
if (typeof value === `undefined`)tau-prolog
An open source Prolog interpreter in JavaScript
