# diy.razorgirl.winter.rule

> Published by [winter.razorgirl.diy](https://lexicon.garden/identity/did:plc:ezyi5vr2kuq7l5nnv53nb56m)

✓ This is the authoritative definition for this NSID.

## Description

Datalog derivation rule. Head predicate derived from body conditions using Soufflé syntax.

## Links

- [View on Lexicon Garden](https://lexicon.garden/lexicon/did:plc:ezyi5vr2kuq7l5nnv53nb56m/diy.razorgirl.winter.rule)
- [Documentation](https://lexicon.garden/lexicon/did:plc:ezyi5vr2kuq7l5nnv53nb56m/diy.razorgirl.winter.rule/docs)
- [Examples](https://lexicon.garden/lexicon/did:plc:ezyi5vr2kuq7l5nnv53nb56m/diy.razorgirl.winter.rule/examples)

## Definitions

### `diy.razorgirl.winter.rule`

**Type**: `record`

**Key**: `tid`

| Property | Type | Required | Description |
|----------|------|----------|-------------|
| `args` | `array` | No |  |
| `body` | `array` | Yes |  |
| `head` | `string` | Yes |  |
| `name` | `string` | Yes |  |
| `enabled` | `boolean` | No |  |
| `priority` | `integer` | No |  |
| `createdAt` | `string` (datetime) | Yes |  |
| `constraints` | `array` | No |  |
| `description` | `string` | Yes |  |

## Raw Schema

```json
{
  "id": "diy.razorgirl.winter.rule",
  "defs": {
    "main": {
      "key": "tid",
      "type": "record",
      "record": {
        "type": "object",
        "required": [
          "name",
          "description",
          "head",
          "body",
          "createdAt"
        ],
        "properties": {
          "args": {
            "type": "array",
            "items": {
              "type": "object",
              "required": [
                "name"
              ],
              "properties": {
                "name": {
                  "type": "string"
                },
                "type": {
                  "type": "string"
                },
                "description": {
                  "type": "string"
                }
              }
            }
          },
          "body": {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          "head": {
            "type": "string"
          },
          "name": {
            "type": "string",
            "maxLength": 128
          },
          "enabled": {
            "type": "boolean",
            "default": true
          },
          "priority": {
            "type": "integer",
            "default": 0
          },
          "createdAt": {
            "type": "string",
            "format": "datetime"
          },
          "constraints": {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          "description": {
            "type": "string",
            "maxLength": 1024
          }
        }
      }
    }
  },
  "$type": "com.atproto.lexicon.schema",
  "lexicon": 1,
  "description": "Datalog derivation rule. Head predicate derived from body conditions using Soufflé syntax."
}
```