Parse NSR-L code without executing

Required scope: write

POST /api/v1/nsrl/parse

cURL

curl --request POST \
  --url 'https://api.nsr.stateset.com/api/v1/nsrl/parse' \
  --header "X-API-Key: $STATESET_NSR_API_KEY" \
  --header 'Content-Type: application/json' \
  --data '{
  "code": "human(socrates). mortal(X) :- human(X)."
}'

200

{
  "errors": [
    "string"
  ],
  "facts": [
    {
      "arguments": [],
      "predicate": "string"
    }
  ],
  "queries": [
    "string"
  ],
  "rules": [
    {
      "body": [],
      "head": {
        "arguments": null,
        "predicate": null
      }
    }
  ],
  "success": true
}

Required scope: write

Request body

NSRLParseRequest

code · string · required

NSR-L code to parse

Response

NSRLParseResponse

errors · string[] · required

Parse errors (if any)

facts · ParsedFact[] · required

Parsed facts

Show ParsedFact

arguments · string[] · required

predicate · string · required

queries · string[] · required

Parsed queries

rules · ParsedRule[] · required

Parsed rules

Show ParsedRule

body · ParsedFact[] · required

Show ParsedFact

arguments · string[] · required

predicate · string · required

head · ParsedFact · required

Show ParsedFact

arguments · string[] · required

predicate · string · required

success · boolean · required

Whether parsing succeeded

Status codes

Code	Meaning
200	Parse result
401	Unauthorized — missing or invalid credentials
403	Forbidden — the key/token lacks the required scope
429	Rate limited — see Retry-After / X-RateLimit-Reset

cURL

curl --request POST \
  --url 'https://api.nsr.stateset.com/api/v1/nsrl/parse' \
  --header "X-API-Key: $STATESET_NSR_API_KEY" \
  --header 'Content-Type: application/json' \
  --data '{
  "code": "human(socrates). mortal(X) :- human(X)."
}'

200

{
  "errors": [
    "string"
  ],
  "facts": [
    {
      "arguments": [],
      "predicate": "string"
    }
  ],
  "queries": [
    "string"
  ],
  "rules": [
    {
      "body": [],
      "head": {
        "arguments": null,
        "predicate": null
      }
    }
  ],
  "success": true
}