prolog-meta
CommunityProlog meta-programming and higher-order logic.
Software Engineering#transformation#metaprogramming#higher-order#prolog#call-n#meta-interpreter#copy_term
Authorhafley66
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Prolog meta-programming enables code as data, allowing developers to inspect, transform, and execute Prolog code at runtime using meta-predicates, univ, and meta-interpreters to build flexible tooling.
Core Features & Use Cases
- Higher-order predicates: call/N, maplist-like patterns, and meta-predicates that execute goals supplied as data.
- Code reflection and transformation: using clause/2, =.., copy_term/2, and lambda-style constructs to inspect and rewrite programs.
- Meta-interpretation and tracing: implement mini-interpreters, proof trees, and controlled search within Prolog projects.
Quick Start
Run a quick example that uses call/2 to apply a simple predicate to each element of a list.
Dependency Matrix
Required Modules
None requiredComponents
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-meta Download link: https://github.com/hafley66/claude-research/archive/main.zip#prolog-meta Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.