diff --git a/README.md b/README.md index 5aaa764..0053f8c 100644 --- a/README.md +++ b/README.md @@ -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. --------------------