mcsoto/cosmos

A new logic programming language.

1 best points · 0 comments · 2 Hacker News posts · 177 GitHub stars · View on GitHub

Hacker News discussions

• Cosmos – A new logic programming language (1 points, 0 comments, by albertzeyer, 2014-12-18)
• Prolog in Prolog (1 points, 0 comments, by ghosthamlet, 2018-10-18)