mcsoto / cosmos Goto Github PK

When compiling the .cosmos files in the repository, I get .pl files that are different from what's in the repository.

Also, compiling string.cosmos and list.cosmos doesn't work at all:

$ cosmos --module string
CosmosError: (line 50, col 9) cannot find relation concat
$ cosmos --module list
CosmosError: (line 42, col 9) cannot find relation concat

What's the status of cosmos? Are there plans to keep this project maintained and going? Or should we consider this a dead, abandoned project?

• Is this usable to create production code?
• Does this compile programs to raw Prolog that can be compiled? Or does it need to be processed in some way?

This seems like a nicer version of Prolog (which I'm interested in), but I can't tell if Cosmos is usable enough yet.

The code in Readme for using a functor object shows this on the shell

> FunctorObject F
| true
> x = F(1, 2)
CosmosError: (line 1, col 3) cannot call variable of unknown type: F

Is there any relation to https://github.com/LB--/Cosmos ? I chose the name Cosmos in April 2014, it looks like the earliest commit here is in July 2014. It looks like this is more developed though, so I may rename mine yet again.

I would really like to try out this new language, but a mac is all I got, and I'm not sure I can get this to run on a mac (as it's an executable that I get from make). If this already works on macs, would you be able to give some more information on how to run it?

Hi, I am just wondering what is the license of Cosmos? SWI-Prolog is under the GPL so does that mean Cosmos is also under the GPL? You might want to consider changing to another Prolog implementation as a GPL language could seriously hurt adoption.

Is there a direct way to execute .cosmos files?
I tried compiling to prolog. But swipl isn't the best thing to be handled. I did consult('test.pl') in swipl but it didn't work.
What're you using to execute those scripts?

And also the interactive mode doesn't let me create relations.

Edit:

Was missing the ; at the end of the single-line relation declaration statement