logic-register

/logic-register

Register and manage predicates, facts, and rules in the logic knowledge registry.

Description

This skill manages the central registry that tracks all predicates, facts, and rules across the knowledge base. It ensures naming consistency, prevents duplicates, and enables code reuse across conversions.

Usage

/logic-register [command] [options]

Commands

• add - Register new predicates or rules
• search - Search for existing predicates
• list - List registered items
• update - Update predicate descriptions or metadata
• link - Link related predicates across domains
• export - Export registry to file

Options

• --domain <name> - Filter by domain
• --type <predicate|fact|rule> - Filter by type
• --format <json|prolog|clingo> - Output format

Examples

/logic-register add --domain legal "canAccess(Person, Resource) ::: Person is authorized to access Resource"
/logic-register search "access"
/logic-register list --domain legal --type predicate
/logic-register export --format json ./registry-backup.json

Registry Structure

Each registry entry contains:

{
  "name": "canAccess",
  "arity": 2,
  "domain": "legal",
  "type": "predicate",
  "signature": "canAccess(Person, Resource)",
  "description": "Person is authorized to access Resource",
  "arguments": [
    {"name": "Person", "type": "entity", "description": "The person requesting access"},
    {"name": "Resource", "type": "entity", "description": "The resource being accessed"}
  ],
  "examples": ["canAccess(john, confidential_files)"],
  "source": "contracts/access-policy.txt",
  "created": "2024-01-15T10:30:00Z",
  "aliases": ["hasAccess", "isAuthorized"],
  "related": ["hasRole", "resourceClassification"]
}

Deduplication

The registry prevents duplicate predicates by:

1. Checking for exact name matches
2. Checking for semantic similarity in descriptions
3. Suggesting existing predicates when creating new ones
4. Maintaining aliases for the same concept