REVIEW 2 cited by
SWI-Prolog
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for \textit{knowledge-intensive} and \textit{interactive} systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment). In this article we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between \textit{foreign} resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.
Forward citations
Cited by 2 Pith papers
-
Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling
Scheduzz combines LLM-extracted API usage constraints with a dual scheduling loop to automatically generate and run fuzz drivers, beating existing tools in coverage and finding 33 bugs in real libraries.
-
Towards Constraint Logic Programming over Strings for Test Data Generation
A prototype CLP solver over strings using finite automata can generate valid German IBANs and date expressions, with speed comparable to an existing solver on the IBAN case.
Discussion (0). Continue with ORCID to comment.