dougransom

Prolog Agent Toolkit

Name: Prolog Agent Toolkit
Author: dougransom

AI community

SOURCE https://github.com/dougransom/prolog-agent-toolkit

Description

Multi-engine, cross-platform Prolog execution sandboxing, AI agent standards, and skills toolkit for Scryer Prolog, SWI-Prolog, and Trealla Prolog. Supporting Google Antigravity, Claude Code, GitHub Copilot, and Cursor.

Installation

This entry records only its repository, not the path inside it, so there is no exact command to give. Open the source below and copy the folder into ~/.claude/skills/, or the file into ~/.claude/agents/.

README

Prolog Agent Toolkit

**Version**: `0.0.1.dev8` **Category**: AI Assistant Developer Tools / Prolog Language Tooling **Metadata**: [schema.org.jsonld](schema.org.jsonld)

Multi-engine, cross-platform (Linux, macOS, BSD, Windows) Prolog execution sandboxing and AI agent skills toolkit.

Categories & Supported Platforms

Category	Supported Technologies / Systems
AI Assistants & IDEs	Google Antigravity (AGY), Claude Code (Anthropic), GitHub Copilot, Cursor, Windsurf, Emacs AI (`aidermacs`, `agent-shell`, `gptel`)
Prolog Engines	Scryer Prolog (ISO Default), SWI-Prolog, Trealla Prolog, Tau Prolog, GNU Prolog, Ciao Prolog
Language Standards	ISO Prolog, Definite Clause Grammars (DCG), CLP(Z) Constraints, Reification (`reif`)
Agent Capabilities	Execution Sandboxing, `testing.pl` Unit Testing, `bakage` Manifests, Multi-file Release Versioning

Features

Cross-Platform Safety Wrappers: Runs Prolog engines safely with execution timeouts, low CPU priority, and memory limits across Linux, macOS, BSD, and Windows.
CLI Management Suite: Project bootstrapping, module generator, dialect switcher, release manager, and skill validator via prolog-agent.
Dialect-Aware Standards: Enforces ISO Scryer, SWI, Trealla, Tau, and portable Prolog conventions automatically.
Autonomous AI Subagents: Pre-configured subagents for purity auditing, automated refactoring, unit test generation, benchmark running, and security scanning.

CLI Reference Summary

Command	Purpose
`prolog-agent init [--dialect scryer\|swi\|trealla\|tau\|iso]`	Scaffolds a new project with `src/`, `tests/`, manifests (`bakage.toml`/`pack.pl`), and starter module.
`prolog-agent template [--dialect ...]`	Generates a project template for specified dialect.
`prolog-agent module [--dialect ...]`	Scaffolds a single pure Prolog module with Covington doc headers.
`prolog-age