Giters
Tau Prolog (tau-prolog)

Tau Prolog

tau-prolog

Geek Repo

An open source Prolog interpreter in JavaScript

Location:Spain

Home Page:http://tau-prolog.org

Github PK Tool:Github PK Tool

Tau Prolog's repositories

tau-prolog

An open source Prolog interpreter in JavaScript

Language:JavaScriptLicense:BSD-3-ClauseStargazers:557Issues:24Issues:275

draw-derivation-trees

A tool for drawing derivation trees of Tau Prolog

Language:JavaScriptLicense:BSD-3-ClauseStargazers:10Issues:4Issues:2

manual

Get started with Tau Prolog

License:BSD-3-ClauseStargazers:3Issues:5Issues:5

notebook

A web-based notebook environment for Tau Prolog

Language:JavaScriptLicense:BSD-3-ClauseStargazers:3Issues:4Issues:0

sandbox

An online Tau Prolog sandbox

Language:PHPLicense:BSD-3-ClauseStargazers:3Issues:3Issues:11

www.tau-prolog.org

The home of the Tau Prolog website

Language:PHPStargazers:0Issues:3Issues:7