From 345b560d2b64095cf84a2b06144a76581377173e Mon Sep 17 00:00:00 2001 From: vasilev Date: Thu, 23 Jan 2025 05:15:20 +0600 Subject: [PATCH 1/3] Added Trealla Prolog to Prolog section. --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 5aaa764..d9c3bfe 100644 --- a/README.md +++ b/README.md @@ -541,6 +541,7 @@ 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). +* [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). -------------------- From b3b8d3a4d2dbd11e9c81ef9ebc8673ce9afb1bea Mon Sep 17 00:00:00 2001 From: vasilev Date: Mon, 3 Feb 2025 19:45:41 +0600 Subject: [PATCH 2/3] Added Scryer Prolog and CSharpProlog to Prolog section. --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index d9c3bfe..1691fec 100644 --- a/README.md +++ b/README.md @@ -541,6 +541,8 @@ 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). -------------------- From 3809fbb00a8be3a0be642c4edf00c30915c44fae Mon Sep 17 00:00:00 2001 From: vasilev Date: Sun, 2 Mar 2025 01:20:37 +0600 Subject: [PATCH 3/3] Added ichiban/prolog to Prolog section. --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 1691fec..0053f8c 100644 --- a/README.md +++ b/README.md @@ -544,6 +544,7 @@ This repo contains a list of languages that currently compile to or have their V * [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. --------------------