Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
https://github.com/tau-prolog/tau-prolog
iso-prolog-standard javascript logic-programming prolog prolog-implementation prolog-interpreter prolog-programming-language tau-prolog
Last synced: 3 months ago
JSON representation
An open source Prolog interpreter in JavaScript
- Host: GitHub
- URL: https://github.com/tau-prolog/tau-prolog
- Owner: tau-prolog
- License: bsd-3-clause
- Created: 2017-11-26T14:47:13.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2023-01-30T16:52:52.000Z (almost 2 years ago)
- Last Synced: 2024-05-17T18:44:56.286Z (8 months ago)
- Topics: iso-prolog-standard, javascript, logic-programming, prolog, prolog-implementation, prolog-interpreter, prolog-programming-language, tau-prolog
- Language: JavaScript
- Homepage: http://tau-prolog.org
- Size: 1.86 MB
- Stars: 557
- Watchers: 24
- Forks: 53
- Open Issues: 77
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-ccamel - tau-prolog/tau-prolog - An open source Prolog interpreter in JavaScript (JavaScript)
README
[](http://tau-prolog.org)
[](https://twitter.com/tau_prolog)
[](http://tau-prolog.org/license)
[](https://www.npmjs.com/tau-prolog)
[](https://www.paypal.com/donate/?hosted_button_id=JW48YT93SDLP8)
# 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 `` tag or the `require` function to add Tau Prolog to your project and start coding.
> **DOM manipulation and event handling.** Taking the best from JavaScript and Prolog, Tau Prolog allows you to handle browser events and modify the DOM of a web using Prolog predicates, making Prolog even more powerful.
> **Asynchronous predicates.** Tau Prolog has been developed following a non-blocking, callback-based approach, allowing you, for instance, to sleep the main thread or to do AJAX requests without blocking the browser.
## A brief look
1. **Load the library**
```html
<script src="tau-prolog.js">
```
2. **Create a session**
```javascript
var session = pl.create();
```
3. **Consult a program**
```javascript
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
```javascript
session.consult("path/to/src.pl", {
success: function() { /* Program loaded correctly */ },
error: function(err) { /* Error parsing program */ }
});
```
4. **Query a goal**
```javascript
session.query("likes(sam, X).", {
success: function(goal) { /* Goal loaded correctly */ },
error: function(err) { /* Error parsing goal */ }
});
```
5. **Look for answers**
```javascript
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:
```javascript
// 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](http://tau-prolog.org/documentation).
## Downloads
You can download a custom bundle including only the modules you need [here](http://tau-prolog.org/downloads#custom). Source code of Tau Prolog is available on [GitHub](/modules). You can also install Tau Prolog from [npm](https://www.npmjs.com/tau-prolog):
```shell
$ npm install tau-prolog
```
## Documentation
### [**Get Started with Tau Prolog**](http://tau-prolog.org/documentation#manual)
* [A simple tutorial](http://tau-prolog.org/manual/a-simple-tutorial)
* [Compatibility with Node.js](http://tau-prolog.org/manual/compatibility-with-nodejs)
* [Manipulating the DOM with Prolog](http://tau-prolog.org/manual/manipulating-the-dom-with-prolog)
* [Making your own packages](http://tau-prolog.org/manual/making-your-own-packages)
* [Promises interface](http://tau-prolog.org/manual/promises-interface)
* [Prototypes and Prolog objects](http://tau-prolog.org/manual/prototypes-and-prolog-objects)
### [**Prolog Predicate Reference**](http://tau-prolog.org/documentation#prolog)
* [Built-in predicates](http://tau-prolog.org/documentation#builtin)
* [Lists module](http://tau-prolog.org/documentation#lists)
* [DOM module](http://tau-prolog.org/documentation#dom)
* [Random module](http://tau-prolog.org/documentation#random)
* [Statistics module](http://tau-prolog.org/documentation#statistics)
* [JavaScript module](http://tau-prolog.org/documentation#js)
* [OS module](http://tau-prolog.org/documentation#os)
* [CharsIO module](http://tau-prolog.org/documentation#charsio)
* [Format module](http://tau-prolog.org/documentation#format)
* [Concurrent module](http://tau-prolog.org/documentation#concurrent)
## License
Tau Prolog source code is released under the terms of the [BSD 3-Clause License](http://tau-prolog.org/license).