plam is a programming language created in 2017 by Sandro Lovni膷ki.
git clone https://github.com/sandrolovnicki/pLam
An interpreter for learning and exploring pure 位-calculus