scryer-prolog
php
scryer-prolog | php | |
---|---|---|
42 | 7 | |
1,901 | 63 | |
- | - | |
9.7 | 5.7 | |
9 days ago | 5 months ago | |
Rust | HTML | |
BSD 3-clause "New" or "Revised" License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
scryer-prolog
-
The Shen Programming Language
thank you! the scryer community deserves much of the credit too. everyone is welcome and encouraged to join us at https://github.com/mthom/scryer-prolog! some exciting plans in the pipe
- Appreciating Clpz_t/2
- Advent of Code 2023 is nigh
- Scryer Prolog version 0.9.3 is out
- Announcing Basic WebAssembly support in Scryer Prolog
- Basic WebAssembly Support in Scryer Prolog
- Scryer-Prolog 0.9.2
- Release v1.1.0 of PostgreSQL-Prolog
-
Djot is a light markup syntax
Djot is the markup syntax that is used for the documentation of Scryer Prolog, using a parser written in Prolog:
https://github.com/aarroyoc/djota
It works well so far. One of the few limitations I noticed so far pertains to the formatting of tables. For instance, consider the table used in library(format) to describe control sequences:
https://github.com/mthom/scryer-prolog/blob/b0566e41503a6c8d...
It contains several entries that span multiple lines, yet are meant to denote only a single row of the table, such as:
% | `~Nr` | where N is an integer between 2 and 36: format the |
- The First Annual Scryer Prolog Meetup
php
-
What is your favorite programming language?
I thought you might enjoy this, if you haven't seen it already.
- PHP is Prolog implemented in C, compiled to WASM, speaking CGI, executed by a Rust runtime, interpreting PHP-style templates
-
PHP: Prolog Home Page
When I clicked the last commit message was too good. Preserving just in case they are doing rapid releases: https://github.com/guregu/php/commit/65b1e991f473d6ac0dd9de4...
-
The beauty of CGI and simple design
Recently I enjoyed some "retrofuturistic" development with WASM and CGI. Spin[1], a webserver written in Rust, can execute WASI[2] binaries that speak CGI. You can then deploy it to Fermyon Cloud or your own server and it "just works". It's a wonderful mix of old and new. I used it for PHP (Prolog Home Page): https://github.com/guregu/php
[1]: https://spin.fermyon.dev/
[2]: WASI is a POSIX-ish standard for WASM that gives you all the low level stuff like standard input and output. It includes all the bits and pieces needed for CGI to work.
What are some alternatives?
swipl-devel - SWI-Prolog Main development repository
logtalk3 - Logtalk - declarative object-oriented logic programming language
logica - Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
quickserv - Dangerously user-friendly web server for quick prototyping and hackathons
differential-datalog - DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
trealla - A compact, efficient Prolog interpreter written in plain-old C.
materialize - The data warehouse for operational workloads.
ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
tau-prolog - An open source Prolog interpreter in JavaScript
trealla-js - Trealla Prolog for the web
prolog - The only reasonable scripting engine for Go.
packages-http - The SWI-Prolog HTTP server and client libraries