All authors
Claude Skills by dougransom
github.com/dougransom23 skills0 installs29 views
- Prolog Clp ConstraintsBest 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.Votes: 0GitHub stars: 4
- Prolog Code ReviewComprehensive guidelines, checklists, and automated procedures for conducting Prolog code reviews, checking logical purity, determinism, portability, safety, and test coverage.Votes: 0GitHub stars: 4
- Prolog ConventionsCoding 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.Votes: 0GitHub stars: 4
- Prolog Dcg MasteryDefinite 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.Votes: 0GitHub stars: 4
- Prolog Debugging WorkflowStep-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.Votes: 0GitHub stars: 4
- Prolog Declarative WorkflowGuidelines for AI-assisted Prolog development. Use declarative reasoning, explicit mode/determinism annotations, test-driven scaffolding, DCG structure generation, and choice-point audits.Votes: 0GitHub stars: 4
- Prolog Engine OnboardingInteractive, 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.Votes: 0GitHub stars: 4
- Prolog Ffi Wasm EmbeddingGuidelines 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.Votes: 0GitHub stars: 4
- Prolog InitializerSystem-aware Prolog project initialization, module generation, template scaffolding, bash script generation, and release workflow for Scryer, SWI, and Trealla.Votes: 0GitHub stars: 4
- Prolog Library DiscoveryGuidelines and commands for discovering and reusing existing libraries, modules, and packages across Prolog engines before implementing functionality from scratch.Votes: 0GitHub stars: 4
- Prolog Linter Static AnalysisStatic analysis, linting, and code quality guidelines for Prolog. Use when detecting singletons, discontiguous predicates, unreferenced parameters, infinite recursion, and non-logical cuts.Votes: 0GitHub stars: 4
- Prolog Migrate ProjectStep-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.Votes: 0GitHub stars: 4
- Prolog Neurosymbolic AgentArchitecture 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.Votes: 0GitHub stars: 4
- Prolog PackagingGuidelines and manifest standards for packaging and dependency management in Prolog (Scryer bakage, SWI pack_install).Votes: 0GitHub stars: 4
- Prolog Performance ProfilingPerformance optimization and choicepoint profiling guidelines for Prolog. Use when eliminating unintended choice points, analyzing argument indexing, optimizing space complexity, and refactoring with library(reif).Votes: 0GitHub stars: 4
- Prolog ReleaseGuidelines 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.Votes: 0GitHub stars: 4
- Prolog TablingGuidelines 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.Votes: 0GitHub stars: 4
- Prolog TestingStandardized instructions and frameworks for writing and running Prolog unit tests across engines (Scryer testing.pl, SWI plunit, Trealla/ISO).Votes: 0GitHub stars: 4
- Prolog Web ServicesGuidelines for building HTTP REST APIs, JSON endpoints, microservices, and WebSockets in Prolog. Use when exposing Prolog predicates over web HTTP interfaces.Votes: 0GitHub stars: 4
- Scryer Prolog StandardsCoding standards and guidelines for pure Scryer Prolog projects. Use when writing, refactoring, or debugging Prolog code specifically for Scryer Prolog.Votes: 0GitHub stars: 4
- Swi Prolog StandardsCoding standards and guidelines for SWI-Prolog applications and scripts. Use when targeting SWI-Prolog specifically.Votes: 0GitHub stars: 4
- Tau Prolog StandardsCoding standards and guidelines for Tau Prolog applications, Node.js scripts, and browser DOM targets. Use when targeting Tau Prolog specifically.Votes: 0GitHub stars: 4
- Trealla Prolog StandardsCoding standards and guidelines for Trealla Prolog applications and WASM targets. Use when targeting Trealla Prolog specifically.Votes: 0GitHub stars: 4