Paste your program in the box in the left and type a Prolog goal below. When you press ENTER on the goal textbox, the interpreter will read the goal and try to find a computed answer, showing the result here. If you press ENTER again (to keep looking for answers), the interpreter will continue looking from the last choice point.
Look at built-in predicates and modules supported by Tau Prolog.
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.More about ISO Prolog
Tau Prolog has been developed to be used with either Node.js or a browser seamlessly. Just use the
<script> tag or the
require function to add Tau Prolog to your project and start coding.
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.More about asynchrony
Yarn is a package manager for your code. It allows you to use and share code with other developers from around the world. Yarn does this quickly, securely, and reliably.
Logtalk is a declarative object-oriented logic programming language that extends and leverages the Prolog language with modern code encapsulation and code reuse mechanisms.