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:

```json
{
  "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

## Cross-Domain Linking

Predicates can be linked across domains:
```
/logic-register link legal.canAccess hr.hasEmploymentStatus
```

This enables queries that span multiple knowledge domains.

## Integration

This skill uses:
- `logic-registry` MCP server for storage
- Semantic similarity for duplicate detection
- File system for backup/export

## Best Practices

1. Always search before adding new predicates
2. Use descriptive names following domain conventions
3. Include examples for complex predicates
4. Link related predicates for better query resolution
5. Regularly export backups of the registry

## Notes

- The registry persists across sessions in `data/registry/`
- Registry entries include provenance (source document)
- Use aliases to handle synonyms and variations
- The registry supports versioning for predicate evolution