prolog-goals

What problem does it solve?

Prolog developers often treat goals as code rather than data. This Skill demonstrates how to construct, transform, and execute goals stored as terms to enable dynamic composition and metaprogramming.

Core Features & Use Cases

• Build goals as terms using univ (=..) and functor/3, then reify or execute them with call/1.
• Combine goals with conjunction and disjunction and drive evaluation through engines and deterministic constructs.
• Create higher-order patterns that pass goals as arguments to predicates, enabling flexible, data-driven query DSLs.

Quick Start

Store a goal as a term and execute it with call/1 to see all solutions.