CiaoProlog's profile picture. Official account of the Ciao Prolog system https://ciao-lang.org

CiaoProlog

@CiaoProlog

Official account of the Ciao Prolog system https://ciao-lang.org

Just hit 100π ⭐ on GitHub! Thanks everyone! Our gratitude is irrationally huge! 🥧 #Prolog #CLP


Dear #Prolog programmer, you can follow us on this alternative social media account: bsky.app/profile/ciao-p…


CiaoProlog reposted

Ciao Prolog 1.24.0 updated on AUR!


We just reached 0xFF github stars😊


ICLP 2024 will be held in Dallas, TX, USA, and will be co-located with LPNMR 2024. Together, the two events will be held October 11-17, 2024. More details can be found here: ICLP’24: iclp24.utdallas.edu LPNMR’24:lpnmr2024.demacs.unical.it


CiaoProlog reposted

... not to mention developments like Answer Set Programming and hybrids with differentiable programming like Scallop.


CiaoProlog reposted

Curreent state of my desk.

headinthebox's tweet image. Curreent state of my desk.

CiaoProlog reposted

I've been saying since 2023 that Prolog is the next big thing (in combination with LLMs) 🙃

Curreent state of my desk.

headinthebox's tweet image. Curreent state of my desk.


The Ciao Prolog extension for VSCode is also available in the alternative Open VSX registry open-vsx.org/extension/ciao… #Prolog #VSCode #VSCodium #Gitpod


New #VSCode extension for Ciao Prolog marketplace.visualstudio.com/items?itemName…, including: syntax highlighting, toplevel, debugger, documentation generation, on-the-fly checking, and lots more! We'd love to get your feedback!


CiaoProlog reposted

Tomography visualized! (Link to full video below)


Multi-window playground aka CiaoProlog-OS🍿. Nothing serious, just a toy to stress spawning many independent Ciao Prolog workers in your browser ciao-lang.org/playground/mul…


CiaoProlog reposted

History of Prolog systems in the talk 50 years of Prolog by @mvherme #iclp2022 #FLoC2022

rzf's tweet image. History of Prolog systems in the talk 50 years of Prolog by @mvherme #iclp2022 #FLoC2022

Upgraded toplevel for the Ciao WASM playground! Now most of the features of native Ciao are supported: prolog flags, language extensions, CLP, cyclic terms, portray attributes, etc.


Loading...

Something went wrong.


Something went wrong.