To help you get started, we've collected the most common ways that tau-prolog is being used within popular public projects.

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

import {Project}      from '@yarnpkg/core';
import {PortablePath} from '@yarnpkg/fslib';
import getPath        from 'lodash/get';
import pl             from 'tau-prolog';

// eslint-disable-next-line @typescript-eslint/camelcase
const {is_atom: isAtom} = pl.type;

function prependGoals(thread: pl.type.Thread, point: pl.type.State, goals: pl.type.Term[]): void {
  thread.prepend(goals.map(
    goal => new pl.type.State(
      point.goal.replace(goal),
      point.substitution,
      point,
    ),
  ));
}

const projects = new WeakMap();

function getProject(thread: pl.type.Thread): Project {
  const project = projects.get(thread.session);

View more ways to use tau-prolog

Tau Prolog

A Prolog interpreter in JavaScript

Tau Prolog is a client-side Prolog interpreter fully implemented in JavaScript, whose development has been directed by the ISO Prolog Standard.

> ISO Prolog Standard compliance. Tau Prolog development has been directed by the ISO Prolog Standard, designed to promote the applicability and portability of Prolog text and data among several data processing systems.

> Compatible with browsers and Node.js. Tau Prolog has been developed to be used with either Node.js or a browser seamlessly. Just use the `

2. **Create a session**
```javascript
var session = pl.create();

3. Consult a program

session.consult(`
    likes(sam, salad).
    likes(dean, pie).
    likes(sam, apples).
    likes(dean, whiskey).
`, {
    success: function() { /* Program loaded correctly */ },
    error: function(err) { /* Error parsing program */ }
});

or

session.consult("path/to/src.pl", {
    success: function() { /* Program loaded correctly */ },
    error: function(err) { /* Error parsing program */ }
});

4. Query a goal

session.query("likes(sam, X).", {
    success: function(goal) { /* Goal loaded correctly */ },
    error: function(err) { /* Error parsing goal */ }
});

5. Look for answers

session.answer({
    success: function(answer) {
        console.log(session.format_answer(answer)); // X = salad ;
        session.answer({
            success: function(answer) {
                console.log(session.format_answer(answer)); // X = apples ;
            },
            // ...
        });
    },
    fail: function() { /* No more answers */ },
    error: function(err) { /* Uncaught exception */ },
    limit: function() { /* Limit exceeded */ }
});

This is a general scheme of how to use Tau Prolog:

// Consult
session.consult(program, {
    success: function() {
        // Query
        session.query(goal, {
            success: function(goal) {
                // Answers
                session.answer({
                    success: function(answer) { /* Answer */ },
                    error:   function(err) { /* Uncaught error */ },
                    fail:    function() { /* Fail */ },
                    limit:   function() { /* Limit exceeded */ }
                })
            },
            error: function(err) { /* Error parsing goal */ }
        });
    },
    error: function(err) { /* Error parsing program */ }
});

For further information, check the Documentation.

Downloads

You can download a custom bundle including only the modules you need here. Source code of Tau Prolog is available on GitHub. You can also install Tau Prolog from npm:

$ npm install tau-prolog

Documentation

Get Started with Tau Prolog

• A simple tutorial
• Compatibility with Node.js
• Manipulating the DOM with Prolog
• Making your own packages
• Promises interface
• Prototypes and Prolog objects

Prolog Predicate Reference

• Built-in predicates
• Lists module
• DOM module
• Random module
• Statistics module
• JavaScript module
• OS module
• CharsIO module
• Format module
• Concurrent module

License

Tau Prolog source code is released under the terms of the BSD 3-Clause License.