Skills
.Work. You
Rest

prolog-types

Community

Typed Prolog types for safer code.

Software Engineering#mercury#prolog#typed logic#ciao prolog#logtalk#mode declarations
Authorhafley66
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Prolog has no built-in type system; everything is a term. This Skill explains typed logic programming across Mercury, Ciao Prolog, and Logtalk, and demonstrates how type annotations, mode declarations, and determinism can improve reliability and maintainability.

Core Features & Use Cases

  • Algebraic data types, mode declarations, and determinism categories that help catch errors at compile time.
  • Cross-ecosystem perspectives: Mercury, Ciao Prolog, and Logtalk, with practical examples and comparisons.
  • SWI-Prolog type checking approaches (mavis, error/must_be, plspec) and the role of assertions and static analysis.

Quick Start

Explain how to annotate a simple Prolog predicate with types and modes and show a minimal typed example.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: prolog-types
Download link: https://github.com/hafley66/claude-research/archive/main.zip#prolog-types

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.