An experimental tree-free formal semantic deduction engine and logical language (Loglang) based on a 6-Stack, 1-Stream, 1-Register, 8-Map concatenative abstract machine.
haskell formal-semantics computational-linguistics stack-machine conlang formal-logic logical-language loglang concatenative-programming
-
Updated
Nov 3, 2026 - Haskell