Hacker GitHub

← All repos

mcsoto/cosmos

View on GitHub ↗ ★ 177 Prolog

A new logic programming language.

8 mentions on Hacker News by 6 people: 2 stories, 6 comments · first 2014-11-17 · latest 2019-04-10

Mentions per year 8 mentions · busiest year 2014 (3)
20082026
AllStoriesComments NewestTopOldest
  1. A interesting modern logic programming language: https://github.com/mcsoto/cosmos
    comment by ghosthamlet · 2019-04-10 · in Simply Logical: Intelligent Reasoning by Example (1994)
  2. …programming in Clojure : https://github.com/clojure/core.logic A modern logic programming language: https://github.com/mcsoto/cosmos
    comment by ghosthamlet · 2018-05-22 · in The Power of Prolog
  3. I designed a logic-functional language called Cosmos ( https://github.com/mcsoto/cosmos ) based on what I thought would be a good/minimalist/innovative/easy-to-use language design that I'd like to program in. It's lacking in…
    comment by mccosmos · 2017-03-08 · in Ask HN: Have you created a programming language and why?
  4. Prolog is really interesting. There's also https://github.com/mcsoto/cosmos which transpiles to Prolog, I believe. It looks like the latter isn't actively worked on, unfortunately.
    comment by _ondq · 2015-03-22 · in Learn Prolog Now
  5. …along with the information that it was implemented in cosmos. Here's one file from it: https://github.com/mcsoto/cosmos/blob/master/src/cosmos.cosm...
    comment by aidenn0 · 2014-11-18 · in An Opinionated Treatise on Cosmos, a New Programming Language
  6. The Readme file at https://github.com/mcsoto/cosmos is a nice concise introduction to the language. The blog post is more of a manifesto.
    comment by mbrubeck · 2014-11-17 · in An Opinionated Treatise on Cosmos, a New Programming Language