@aiql-org/core

Core language processing for AIQL — tokenizer, parser, AST types, and multi-target transpiler.

Transpilation Targets

| Target | Extension | Description | |--------|-----------|-------------| | Python | .py | Executable Python classes | | JSON | .json | Structured interchange | | YAML | .yaml | Human-readable config | | SQL | .sql | Database schema + queries | | Coq | .v | Formal verification proofs | | Lean | .lean | Lean 4 theorem prover |

Usage

import { Tokenizer, Parser, Transpiler } from '@aiql-org/core';

const code = `!Assert { <AI> [learns] <Knowledge> } @0.95`;

const tokens = new Tokenizer(code).tokenize();
const ast = new Parser(tokens).parse();
const output = new Transpiler().transpile(ast, 'python');

Attribute Comparisons (v2.7.0)

Attributes now support comparison operators for validation rules:

!Query {
  <Event> [occurred_in] <Year> {
    year: > 2000
    confidence: >= 0.8
  }
}

Supported operators: >, <, >=, <=, !=.

API

• Tokenizer — Converts source code to token stream
• Parser — Converts tokens to AST
• Transpiler — Converts AST to target format
• AST — TypeScript type definitions for all AST nodes

License

MIT