Cosmos is a programming language created in 2022.
| #3786on PLDB | 3Years Old |
git clone https://github.com/mcsoto/cosmosCosmos 0.2 - now with Pure Arithmetics. A new logic programming language.
//note that the there is no 'return' in the definition
//instead, the parameter y is explicit
//this is typically the 'output' parameter
rel double(x, y)
y = x*2
double(4,x) //x is 8