4 ms·

Ciao – Logic, constraint, functional, higher-order, and object-oriented language

82 points by wuschel 12y ago

Mikeb85 12y ago
Interesting. The feature list sounds great, can't wait to play with it. Can't say I know much about it though.
ddellacosta 12y ago
The home page would be a lot more compelling if it was easy to find code examples and a tutorial--digging around all I could find was a rather opaque (at least for a beginner) reference manual, and I had to click on the "screenshots" link before I could find examples of what Ciao syntax is like and how one may put a program together in the language. The "Other Documentation" has a bunch of self-labeled out-of-date items and rather academic papers in PDF format. Not ideal! It's too bad because this sounds like an interesting language which I'd like to learn more about (which I still will, don't get me wrong).
- Sodel 12y ago
  Very odd placement, but the code examples are posted under "screenshots".
- vegedor 12y ago
  If you know prolog (or erlang, afaict), you might have a pretty good idea of what syntax to expect. If not, the syntax wouldn't explain the semantics very well. Edit: A list refering to literature about declarative programming in prolog might be in order, like sources. It reminds me of many academic papers, that just assume a certain level of preparation. Yet, the "consultation"-line at the bottom implies business intentions.
fspeech 12y ago
This appears to be a rebranded Ciao Prolog (Ciao Prolog sourceforge page now links its project website to ciao-lang.org). Ciao Prolog was a good performant implementation of Prolog although I use SWI-Prolog myself so can not attest to that personally. Constraint programming (various libraries) and object system (Logtalk) should be available through libraries and are therefore available through SWI as well (though last time I checked ciao has an interface to gecode but not SWI).
SixSigma 12y ago
The word "emacs" was a buzzkill Let's see what Bell-Labs thinks : http://plan9.bell-labs.com/magic/man2html/1/emacs http://plan9.bell-labs.com/magic/man2html/1/emacs
amelius 12y ago
You lost me on "object oriented".

82 points by wuschel 12y ago

Interesting. The feature list sounds great, can't wait to play with it. Can't say I know much about it though.

The home page would be a lot more compelling if it was easy to find code examples and a tutorial--digging around all I could find was a rather opaque (at least for a beginner) reference manual, and I had to click on the "screenshots" link before I could find examples of what Ciao syntax is like and how one may put a program together in the language. The "Other Documentation" has a bunch of self-labeled out-of-date items and rather academic papers in PDF format. Not ideal! It's too bad because this sounds like an interesting language which I'd like to learn more about (which I still will, don't get me wrong).

Sodel 12y ago
Very odd placement, but the code examples are posted under "screenshots".
vegedor 12y ago
If you know prolog (or erlang, afaict), you might have a pretty good idea of what syntax to expect. If not, the syntax wouldn't explain the semantics very well. Edit: A list refering to literature about declarative programming in prolog might be in order, like sources. It reminds me of many academic papers, that just assume a certain level of preparation. Yet, the "consultation"-line at the bottom implies business intentions.

fspeech 12y ago

This appears to be a rebranded Ciao Prolog (Ciao Prolog sourceforge page now links its project website to ciao-lang.org). Ciao Prolog was a good performant implementation of Prolog although I use SWI-Prolog myself so can not attest to that personally. Constraint programming (various libraries) and object system (Logtalk) should be available through libraries and are therefore available through SWI as well (though last time I checked ciao has an interface to gecode but not SWI).

SixSigma 12y ago

The word "emacs" was a buzzkill Let's see what Bell-Labs thinks : http://plan9.bell-labs.com/magic/man2html/1/emacs http://plan9.bell-labs.com/magic/man2html/1/emacs

amelius 12y ago

You lost me on "object oriented".