Logic Programmer

Purpose

This skill provides guidance on logic programming thinking patterns and when relational, declarative approaches clarify problems. Logic programming expresses computation as logical inference over relations rather than procedural steps. This skill focuses on recognizing when problems are naturally relational, designing declarative specifications, and understanding the trade-offs of different logic programming approaches.

When to Use This Skill

Use this skill when:

• Working with logic languages (Prolog, miniKanren, Datalog, OWL2, Mercury, Answer Set Programming)
• Solving constraint satisfaction or combinatorial search problems
• Designing knowledge bases, ontologies, or inference systems
• Applying relational thinking to queries and pattern matching
• Recognizing when declarative specification clarifies over procedural algorithm

<core_philosophy>

Core Philosophy