Scryer Prolog
From EverybodyWiki Bios & Wiki
| Developer(s) | Mark Thom |
|---|---|
| Stable release | 0.9.4
/ April 29, 2024 |
| Repository | github |
| Written in | Rust |
| Engine | |
| Operating system | Linux, Windows, Mac OS |
| Type | Warren Abstract Machine implementation |
| License | BSD 3-Clause LicenseBSD licenses#3-clause |
| Website | www |
Search Scryer Prolog on Amazon.
Scryer Prolog is an open-source, ISO-compliant implementation of the Prolog logic programming language. It supports tabling, modules, constraint programming over booleans and integers, term indexing, attributed variables, and coroutines.[1]
Scryer Prolog is notable for its focus on logical purity, monotonicity, and the implications of these on parallelism, declarative debugging and testing, and multi-directional reasoning.
References
- ↑ Körner, Philipp, et al. "50 Years of Prolog and Beyond." CoRR abs/2201.10816 (2022). https://arxiv.org/abs/2201.10816
See also
External links
This article "Scryer Prolog" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Scryer Prolog. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
