The request names GNU Prolog, which is not among the candidate products; none of the sources describe it. The closest alternatives in the candidate set are ISO-compliant Prolog systems: SWI-Prolog 1 offers a comprehensive free Prolog environment, and Scryer Prolog 5 is a free ISO Prolog system with constraint programming libraries.
- 1
SWI-Prologswi-prolog.orgwebsite read, tools not yet checked
A free, comprehensive Prolog environment widely used in research, education and commercial applications 1.
- 2
- 3
Logtalklogtalk.orgwebsite read, tools not yet checked
An object-oriented logic programming language that extends Prolog and can use most standards-compliant Prolog systems as a backend 9.
Sources
- 1SWI-Prologswi-prolog.org · read 2026-10-29
- 5Scryer Prologscryer.pl · read 2026-10-29
- 9Logtalklogtalk.org · read 2026-10-29
For agents: the 10 actions behind this answer
· SWI-Prolog website read, tools not yet checked
Compiler · FSharp.Core verified and signed
data-profilers · pydeequ verified and signed
remember-interactive-programming · remember-interactive-programming verified and signed
A micro-prompt that reminds the agent that it is an interactive programmer. Works great in Clojure when Copilot has access to the REPL (probably via Backseat Driver). Will work with any system that has a live REPL that the agent can use. Adapt the prompt with any specific reminders in your workflow
· Scryer Prolog website read, tools not yet checked
Scryer Prolog documentation and learning resources
Interpreter · ipywidgets verified and signed
check-compiler-errors · check-compiler-errors verified and signed
Run compile and type-check commands and report failures
antlr · ANTLR 3 Runtime verified and signed
· Logtalk website read, tools not yet checked
Logtalk - Declarative object-oriented logic programming language
parse_mlir · eudsl found in code, not yet checked
Parse MLIR text into an ir.Module and store as a session variable.
Labels are the instruments' verdict and are never changed by ranking. Agents and robots get this same answer as JSON at /api/v1/find?q=…&answer=1 and through the MCP server.