Draft:Scryer Prolog

Scryer Prolog
Scryer Prolog
Developer	Mark Thom
Stable release	0.9.4 / April 29, 2024; 18 months ago
Repository	github.com/mthom/scryer-prolog
Written in	Rust
Operating system	Linux, Windows, Mac OS
Type	Warren Abstract Machine implementation
License	BSD 3-Clause LicenseBSD licenses#3-clause
Website	www.scryer.pl

Submission declined on 18 September 2025 by Stuartyeates (talk).

This draft's references do not show that the subject qualifies for a Wikipedia article. In summary, the draft needs multiple published sources that are:

in-depth (not just passing mentions about the subject)
reliable
secondary
independent of the subject

Make sure you add references that meet these criteria before resubmitting. Learn about mistakes to avoid when addressing this issue. If no additional references exist, the subject is not suitable for Wikipedia.

If you would like to continue working on the submission, click on the "Edit" tab at the top of the window.
If you have not resolved the issues listed above, your draft will be declined again and potentially deleted.
If you need extra help, please ask us a question at the AfC Help Desk or get live help from experienced editors.
Please do not remove reviewer comments or this notice until the submission is accepted.

Where to get help

If you need help editing or submitting your draft, please ask us a question at the AfC Help Desk or get live help from experienced editors. These venues are only for help with editing and the submission process, not to get reviews.
If you need feedback on your draft, or if the review is taking a lot of time, you can try asking for help on the talk page of a relevant WikiProject. Some WikiProjects are more active than others so a speedy reply is not guaranteed.

How to improve a draft

Wikipedia:Contributing to Wikipedia – a basic overview on how to edit Wikipedia.
Help:Wikitext – how to use the markup
Help:Referencing for beginners – how to include references
Wikipedia:Article development – how to develop your article
Wikipedia:Writing better articles – how to improve your article
Wikipedia:Verifiability – make sure your article includes reliable third-party sources

You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article.

Improving your odds of a speedy review

To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags.

Add tags to your draft

Editor resources

Easy tools: Citation bot (help) | Advanced: Fix bare URLs

Declined by Stuartyeates 50 days ago. Last edited by Stuartyeates 50 days ago. Reviewer: Inform author.

Resubmit

Please note that if the issues are not fixed, the draft will be declined again.

Comment: Needs much better independent coverage. One paragraph is no where near enough. Stuartyeates (talk) 10:44, 18 September 2025 (UTC)

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

External links

Official website

Category:Prolog programming language family Category:Constraint programming

[1] Körner, Philipp, et al. "50 Years of Prolog and Beyond." CoRR abs/2201.10816 (2022). https://arxiv.org/abs/2201.10816

[1]

References

See also

External links