Stellogen Playground
Logic-agnostic programming based on term unification
Editor
''' Terms ''' X ' variable (uppercase) a ' constant (lowercase & symbols) $ ' another constant (f X a) ' function (constant) with terms as arguments (+f X) ' function with positive polarity (-f X) ' function with negative polarity (-f (+f X) Y) ' nested functions ' Every Stellogen expression have these shapes (directly or indirectly) ''' Term with effect: display terms ''' (show hello) (show hello world !)
Output
Click "Run" to execute your code...
Run
Load Example...
Hello
Macros
Prolog - Arithmetic
Prolog - Family
NFA (Finite Automaton)
NPDA (Pushdown Automaton)
Turing Machine
Proof Nets - MALL
Proof Nets - MLL
Proof Nets - FOMLL
Clear
📁 Import
💾 Export
📖 Tutorial