Skip to content

Added Trealla Prolog, Scryer Prolog, ichiban/prolog, and CSharpProlog to Prolog section #164

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
vasilev wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Added Trealla Prolog, Scryer Prolog, ichiban/prolog, and CSharpProlog to Prolog section #164

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
345b560
Added Trealla Prolog to Prolog section.
vasilev Jan 22, 2025
b3b8d3a
Added Scryer Prolog and CSharpProlog to Prolog section.
vasilev Feb 3, 2025
3809fbb
Added ichiban/prolog to Prolog section.
vasilev Mar 1, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -541,6 +541,10 @@ This repo contains a list of languages that currently compile to or have their V
> Prolog is a general-purpose logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.
* [SWI-Prolog port to WebAssembly](https://github.com/SWI-Prolog/swipl-wasm) - a port of SWI-Prolog to WebAssembly. SWI-Prolog is a free implementation of the programming language Prolog commonly used for teaching and semantic web applications.
* [Ciao Prolog](https://github.com/ciao-lang/ciao) - includes a WebAssembly compilation target based on Emscripten. Ciao Prolog is a modern Prolog implementation designed to be portable, extensible and modular. Check the playground [here](https://ciao-lang.org/playground).
* [CSharpProlog](https://github.com/jsakamoto/CSharpProlog) - a C# implementation of Prolog. Check the playground [here](https://jsakamoto.github.io/Prolog-on-Browser/).
* [Scryer Prolog](https://github.com/mthom/scryer-prolog) - a modern Prolog implementation written mostly in Rust. Check the playground [here](https://play.scryer.pl).
* [Trealla Prolog](https://github.com/trealla-prolog/trealla) - a compact, efficient Prolog interpreter with ISO Prolog aspirations written in plain-old C. Trealla can be built targeting WASI and should be useful for both browsers and serverless runtimes. Check the playground [here](https://php.energy/trealla.html).
* [ichiban/prolog](https://github.com/ichiban/prolog) - an embeddable ISO Prolog interpreter implemented in pure Go.

--------------------

Expand Down