hylar
A rule-based incremental reasoner for the Web.
A rule-based incremental reasoner for the Web.
A useful tool for uncanny logical reasoning. NOTICE: This is not a real package!
Equational reasoning based on the unfailing Knuth-Bendix completion procedure
nodes used to evaluate device context given an expression
Types of Predicate Logic
A Solid choreography / orchestrator agent with a reasoning component
Reasoning Augmented Generation
Distributing the [EYE](https://github.com/eyereasoner/eye) reasoner for browser and node using WebAssembly.
EYE mock solving your n3 reasoning on a server instead of client side Prolog execution
Promptbook: Run AI apps in plain human language across multiple models and platforms
Promptbook: Run AI apps in plain human language across multiple models and platforms
Promptbook: Run AI apps in plain human language across multiple models and platforms
Promptbook: Run AI apps in plain human language across multiple models and platforms
Promptbook: Run AI apps in plain human language across multiple models and platforms
Promptbook: Run AI apps in plain human language across multiple models and platforms
Promptbook: Run AI apps in plain human language across multiple models and platforms
Promptbook: Run AI apps in plain human language across multiple models and platforms
Promptbook: Run AI apps in plain human language across multiple models and platforms
Promptbook: Run AI apps in plain human language across multiple models and platforms
Promptbook: Run AI apps in plain human language across multiple models and platforms