swi-prolog-programmer

swi-prolog-programmer is a skill for Claude Code from Pyroxin/opinionated-claude-skills. It costs 51 tokens per session (8,322 once invoked), scanned A, original, EPL-2.0.

A programming guide for SWI-Prolog, a Prolog implementation used for logic and rule-based programming. It covers relational thinking, grammar rules, constraints, and PlUnit testing.

In plain words
What is it for?
Use it when writing, reviewing, or testing SWI-Prolog code, including grammar rules and constraint-based programs.
Why use it?
It helps you work with Prolog’s logic-based approach and follow SWI-Prolog conventions.

Skill for Claude Code

Written for Claude Code: shipped in a Claude Code plugin.

Part of the opinionated-logic-development plugin — 1 skill shipped together

Good fit Use it when writing, reviewing, or testing SWI-Prolog code, including grammar rules and constraint-based programs.

Compare 6 skills from other repositories ↓
Install with agentmods
npx agentmods add skills/pyroxin/opinionated-claude-skills/swi-prolog-programmer
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent
npx skills add Pyroxin/opinionated-claude-skills --skill swi-prolog-programmer
Clone the repo
git clone --depth 1 https://github.com/Pyroxin/opinionated-claude-skills

Made for: Claude Code.

Or install opinionated-logic-development, the plugin that ships this one along with the rest of its 1 skill.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for swi-prolog-programmer

README.md
[![agentmods](https://agentmods.dev/badge/skills/pyroxin/opinionated-claude-skills/swi-prolog-programmer/github.svg)](https://agentmods.dev/skills/pyroxin/opinionated-claude-skills/swi-prolog-programmer)
Your own site
<a href="https://agentmods.dev/skills/pyroxin/opinionated-claude-skills/swi-prolog-programmer"><img src="https://agentmods.dev/badge/skills/pyroxin/opinionated-claude-skills/swi-prolog-programmer/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for swi-prolog-programmer

Your own site · 80×15
<a href="https://agentmods.dev/skills/pyroxin/opinionated-claude-skills/swi-prolog-programmer"><img src="https://agentmods.dev/badge/skills/pyroxin/opinionated-claude-skills/swi-prolog-programmer.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 51 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 8,322 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin unknown No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00051 $0.08322
Opus 5 $0.00026 $0.04161
Sonnet 5 $0.00010 $0.01664
Haiku 4.5 $0.00005 $0.00832

Measured 12d ago against content hash be17d0130fab, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-12, from the pricing page.

Security

Grade A, and why

swi-prolog-programmer scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 12d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

opinionated-logic-development/skills/swi-prolog-programmer/SKILL.md · 951 lines

The source is not reproduced here

Licensed EPL-2.0

The repository is licensed EPL-2.0, which this catalogue does not treat as permission to reproduce the file. Read it at the source.

Read it on GitHub

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 12d ago First seen · 951 lines · 51 tokens per session scan A be17d0130fab

Subscribe to this mod's changes

swi-prolog-programmer is a skill published in the GitHub repository Pyroxin/opinionated-claude-skills (9 stars, last pushed 6d ago), licensed EPL-2.0. It adds 51 tokens to every session and 8,322 once invoked, about $0.0003 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.

Related

Other skills, from other repositories

craft-pest

Testing Craft CMS 5 plugins and modules with Pest — test isolation, database safety, and the markhuot/craft-pest-core harness. ALWAYS load when writing, running, fixing, or reviewing tests for a Craft plugin or module, and whenever a suite touches a real Craft install. Covers why rollback is opt-in, tests/Pest.php +…

michtio/craftcms-claude-skills · 353 tokens

litestar-testing

Auto-activate for test.py, conftest.py, litestar.testing, TestClient, AsyncTestClient, createtestclient, createasynctestclient, anyio, Guard mocks, DI overrides, or handler tests. Not for generic pytest.

litestar-org/litestar-skills · 56 tokens

phx-verify

Verify Elixir/Phoenix changes — compile, format, and test in one loop. Use after implementation, before PRs, or after fixing bugs.

oliver-kriska/claude-elixir-phoenix · 36 tokens

test-quality

Write high-quality JUnit 5 tests with AssertJ assertions. Use when user says "add tests", "write tests", "improve test coverage", or when reviewing/creating test classes for Java code.

decebals/claude-code-java · 45 tokens

111-java-maven-dependencies

Use when you need to add or evaluate Maven dependencies that improve code quality or domain modeling — including nullness annotations (JSpecify), static analysis (Error Prone + NullAway), functional programming (VAVR), architecture testing (ArchUnit), or money and currency support (JavaMoney) — and want a…

jabrena/plinth · 133 tokens

130-java-testing-strategies

Use when you need to apply testing strategies for Java code — RIGHT-BICEP to guide test creation, A-TRIP for test quality characteristics, or CORRECT for verifying boundary conditions. This should trigger for requests such as Review Java code for testing strategies; Apply RIGHT-BICEP testing strategies in Java code…

jabrena/plinth · 96 tokens