compiler for the Gödel programming language
 

hi all..
does anyone know the Gödel programming language and if there is a compiler for linux available?
so far i've not found anything..

There are some references to "Unix-like" in the Google search but it superficially appears to be an academic-exercise language. Perhaps you could adopt it and make a package for it... It does look interesting.

Yes it's a logical programming language and a successor of prolog. The only other "application" exept educational usage I know is AI-research and I've discovered it because I admire Kurt Gödel:-)
wikipedia says the OS is unix-like.

I would like to do this, but how? :-)

It seems the sources are mostly written in Prolog. I've installed swi-prolog from slackbuilds.org, but the goedel-package doesn't compile.

Did you find some information how the building is done? The README-file doesn't provide that much information.

Markus

BTW: I've started looking at Prolog only some days ago, does anyone know a good tutorial?

I can only find see the source to an "experimental" version, it seems like the main site is down.
So perhaps it only works with that specific Prolog dialect.

Well, this sicstus-prolog is proprietary software.

Adapting the makefile of the goedel-package in order to build with swi-prolog didn't work.

Markus

I've also installed swi-prolog, but I just saw in this link:
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/other/goedel/0.html
that obviously SICStus Prolog 2.1 #6 or later is required to compile Goedel... but the license of goedel is non-commercial, so shouldn't one can use it without proprietary software?!

Your link doesn't work, it must be (without http://).

This system is quite old, from 1994. As far as I understand, the binaries are only available for sparc. Back then Linux was only about 2 years old ;-)

Markus

yes, sorry, and I wanted to post this link :-) :
http://www.cs.cmu.edu/afs/cs/project.../goedel/0.html

"..Linux executables are included in the distribution..."

for kernel 0.99.

Please post if it works for you. I've only 64bit without multilib installed, so it will not run here.

Markus