ciao-lang/ciao
View on GitHub ↗ ★ 354 Prolog
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
4 mentions on Hacker News by 3 people: 0 stories, 4 comments · first 2022-01-22 · latest 2024-11-07
20082026
-
A classic library, you can play with it here: https://ciao-lang.org/playground/#https://github.com/ciao-la...
comment by jfmc · 2024-11-07 · in I'm not mutable, I'm partially instantiated -
…certainly nothing stopping you from writing a server https://github.com/SWI-Prolog/packages-http https://github.com/ciao-lang/ciao/tree/master/core/library/h... https://github.com/mthom/scryer-prolog/tree/master/src/lib/h...
comment by Avshalom · 2023-01-08 · in PHP: Prolog Home Page -
Some Prolog systems (like Ciao Prolog https://github.com/ciao-lang/ciao/blob/master/core/lib/forei... ) implement bidirectional foreign interfaces. Once you have C bindings it is easy to write bindings from Rust, C++, or any other language…
comment by jfmc · 2022-01-27 · in An embeddable Prolog scripting language for Go -
…software to make it work (or work better) on this machine, last week it was these two trivial ones: https://github.com/ciao-lang/ciao/pull/45 https://github.com/janet-lang/janet/pull/915 Typically that’s all that’s needed, in some cases…
comment by AlbertoGP · 2022-01-22 · in Keeping POWER relevant in the open source world