NXPU Reasoning Console

Interactive Datalog reasoning — type facts, rules, and queries

Facts: 0
Rules: 0
Derived: 0
Cycles: 0
Try these examples
This is a browser simulation. Real NXPU runs on FPGA silicon at 100 MHz.