dougransom
UserProlog Agent Framework, Reusable Agent Skills, MCP Server Pattern, Neurosymbolic AI, and Safe Multi-Engine Execution (Scryer, SWI, Trealla, Tau).
Categories
Indexed Skills (23)
prolog-clp-constraints
Best practices for Constraint Logic Programming (CLP(Z), CLP(FD), CLP(R), CLP(Q)) in Prolog. Use when modeling combinatorial optimization, scheduling, Sudoku, cryptarithmetic, symbolic math, labeling strategies, and declarative arithmetic constraints.
prolog-code-review
Comprehensive guidelines, checklists, and automated procedures for conducting Prolog code reviews, checking logical purity, determinism, portability, safety, and test coverage.
prolog-conventions
Coding standards and guidelines for writing portable ISO-compliant Prolog code across Prolog systems. Use when writing code intended to run across multiple engines subject to engine capabilities.
prolog-dcg-mastery
Definite Clause Grammar (DCG) standards and advanced patterns. Use when parsing text, lexing tokens, building ASTs, generating binary/text output, handling lookahead without cuts, error recovery, and using pushback lists.
prolog-debugging-workflow
Step-by-step interactive debugging and tracing guidelines for Prolog. Use when stepping through failing goals, setting spy points, inspecting stack frames, and capturing term representations.
prolog-declarative-workflow
Guidelines for AI-assisted Prolog development. Use declarative reasoning, explicit mode/determinism annotations, test-driven scaffolding, DCG structure generation, and choice-point audits.
prolog-engine-onboarding
Interactive, iterative process for adding support for a new Prolog engine or system (e.g. GNU Prolog, Ciao, ECLiPSe, B-Prolog, Ichiban, YAP) to the toolkit. Asks clarifying questions, generates/edits required files step-by-step, builds safety runners, and updates metadata until the human confirms completion.
prolog-initializer
Dialect-aware Prolog project initialization, module generation, template scaffolding, bash script generation, and release workflow for Scryer, SWI, and Trealla.
prolog-library-discovery
Guidelines and commands for discovering and reusing existing libraries, modules, and packages across Prolog engines before implementing functionality from scratch.
prolog-linter-static-analysis
Static analysis, linting, and code quality guidelines for Prolog. Use when detecting singletons, discontiguous predicates, unreferenced parameters, infinite recursion, and non-logical cuts.
prolog-migrate-project
Step-by-step guidance for migrating legacy or ad-hoc Prolog projects to Prolog Agent Toolkit conventions, cleaning up subsumed vendor configs, adopting standard directory layouts, pure ISO Prolog logic, and encouraging execution in a fresh Git branch and worktree.
prolog-neurosymbolic-agent
Architecture guidelines for Neurosymbolic AI workflows integrating LLMs with Prolog constraint engines. Use when combining natural language processing with formal logical verification, ground-truth checking, and rule-based reasoning.
prolog-packaging
Guidelines and manifest standards for packaging and dependency management in Prolog (Scryer bakage, SWI pack_install).
prolog-performance-profiling
Performance optimization and choicepoint profiling guidelines for Prolog. Use when eliminating unintended choice points, analyzing argument indexing, optimizing space complexity, and refactoring with library(reif).
prolog-testing
Standardized instructions and frameworks for writing and running Prolog unit tests across engines (Scryer testing.pl, SWI plunit, Trealla/ISO).
scryer-prolog-standards
Coding standards and guidelines for pure Scryer Prolog projects. Use when writing, refactoring, or debugging Prolog code specifically for Scryer Prolog.
tau-prolog-standards
Coding standards and guidelines for Tau Prolog applications, Node.js scripts, and browser DOM targets. Use when targeting Tau Prolog specifically.
prolog-ffi-wasm-embedding
Guidelines for embedding Prolog engines and interfacing via Foreign Function Interfaces (FFI) and WebAssembly (WASM). Use when connecting Prolog logic to C, Rust, Python, JavaScript, and Node.js.
prolog-release
Guidelines and automated workflow for releasing Prolog projects, bumping version numbers consistently across manifests (pack.pl, pyproject.toml, README.md, __init__.py), creating Git tags, and managing dev branch versions.
prolog-tabling
Guidelines for tabling, memoization, and SLG resolution in Prolog. Use when handling recursive graph queries, transitive closures, Datalog queries, reachability graphs, dynamic programming, and preventing infinite recursion loops.
prolog-web-services
Guidelines for building HTTP REST APIs, JSON endpoints, microservices, and WebSockets in Prolog. Use when exposing Prolog predicates over web HTTP interfaces.
swi-prolog-standards
Coding standards and guidelines for SWI-Prolog applications and scripts. Use when targeting SWI-Prolog specifically.
trealla-prolog-standards
Coding standards and guidelines for Trealla Prolog applications and WASM targets. Use when targeting Trealla Prolog specifically.
Bio shown is the top-scored skill's repo description as a fallback — real GitHub bios land in a future update.