py-teleos 0.1.0

Install

pip install teleos

Quick start

import teleos

engine = teleos.load("rules.teleos")

engine.ask("alice can access document")   # True
engine.why("alice can access document")   # proof string
engine.all("WHO can access report")       # ["alice", "bob"]
engine.add_fact("dave is admin")          # add at runtime

CLI

teleos run  rules.teleos   # run all ask:/why:/all: queries
teleos test rules.teleos   # run all assert: statements
teleos repl rules.teleos   # interactive session

.teleos syntax

# facts
fact: alice is admin
fact: alice has score 95

# rules — variables are ALL CAPS
rule: if X is admin then X can access Y
rule: if X has score S and S >= 90 then X gets distinction

# negation
rule: if X is user and not X is banned then X can post

# import another file
import: base-rules.teleos

# queries
ask: alice can access document     → true / false
why: alice can access document     → proof explanation
all: WHO gets distinction          → every matching value

# assertions (for teleos test)
assert: alice can access document
assert not: charlie can access document

Language bindings

Teleos includes a Rust core (teleos-core) that compiles to a shared library callable from any language via C FFI.

Bindings are available for Go, JavaScript/TypeScript, C++, C#, and Java. See https://github.com/teleos/teleos for details.

License

MIT