InputLayer

Define facts and rules. Get derived conclusions that stay correct as your data changes - with a full audit trail for every result.

InputLayer follows chains of facts to reach answers that search alone can't. You define relationships - compatibility, ownership, access policies - and the engine derives what follows. When a fact changes, only the affected conclusions update. When you need to know why, every result traces back to the rules and facts that produced it.

Get Started

• Quick Start - Get running in 5 minutes
• Installation - Install InputLayer on your platform
• Your First Program - Write your first InputLayer program

Core Concepts

• Data Modeling - Relations, facts, and rules
• Recursion - Transitive closure and recursive queries
• Vector Search - Similarity search with HNSW indexes

Reference

• Commands - Complete command reference
• Functions - All built-in functions
• Syntax - Query language syntax reference