Ciao-users July 2022

ciao-users@cliplab.org

3 participants
3 discussions

PhD and Postdoctoral positions in Formal Methods for AI
by Ekaterina Komendantskaya 31 Jul '22

31 Jul '22

The Lab for AI and Verification (laiv.uk) at Heriot-Watt University, Edinburgh is looking to fill one PhD post and one postdoctoral post. We are looking for candidates with solid knowledge of Theorem Proving and/or Functional/Logic programming, and enthusiasm to apply this knowledge in the domain of Artificial Intelligence. The PhD post is for 4 years, starting in October 2022. It covers full stipend and PhD fees and is sponsored by the UKRI (ukri.org) and Schlumberger Cambridge (slb.com). The company will provide additional training and support during the PhD studies. This post needs to be filled in as soon as possible. We are also looking to employ a postdoctoral researcher for a 6-12 months project to formalise Criminal law in the Functional Language Catala <https://catala-lang.org/>. Formalising criminal law for autonomous cars is of particular interest. This project will be in collaboration with Jonathan Protzenko, Microsoft Research and the School of Law, Edinburgh University. This project has a flexible starting date. Please direct all queries to Ekaterina Komendantskaya (ek19(a)hw.ac.uk) Best wishes, Ekaterina

1 0

Logtalk 3.57.0 released
by Paulo Moura 26 Jul '22

26 Jul '22

Hi, Logtalk 3.57.0 is now available for downloading at: https://logtalk.org/ This release improves the linter tool with new and refined warnings; improves the compilation of Prolog modules as objects; refines compiler error reporting; improves support for making predicates listed in "uses/2" and "use_module/2" directives available as scoped predicates for the entities containing the directives; adds Handbook sections on documenting predicate exceptions and on ports and contributions distributed with Logtalk; improves Handbook sections on Prolog integration and migration; adds links from library APIs documentation to the Handbook library descriptions; adds a "genint" library supporting application global and object local named generators for increasing positive integers; updsates the "gensym" library with support for both global and object local symbol generators; adds new predicatyes to the "types" and "statistics" libraries; includes fixes and improvements to the "csv" library; adds new parametric objects to the "hook_objects" library; fixes the "arbitrary" library implementation of shrinkers when passed terms of unexpected types; includes an improved "packs" tool with new predicates, refined semantics, and support for registries that require personal token authorizations for access; fixes "lgtdoc" generated Sphinx documentation cross-referencing between applications and Logtalk distribution libraries; improves "tutor" tool feedback on sone common linter reports; fixes "diagrams" tool cases where files listed as excluded would still be included in generated diagrams; adds new tests for Logtalk and Prolog features; and includes portability updates for CxProlog, LVM, SICStus Prolog, SWI-Prolog, and XSB. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship: https://github.com/LogtalkDotOrg/logtalk3 Happy logtalking! Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer

1 0

[Announcement] Web-based Playground for Ciao Prolog
by Jose F. Morales 21 Jul '22

21 Jul '22

Very excited to announce a new, embeddable playground for Ciao Prolog that runs locally in your browser thanks to WebAssembly: https://ciao-lang.org/playground The Ciao Prolog Playground offers a very easy way to run and share Prolog code, directly from any modern browser. The main advantage over other ways of using Ciao is that the playground does not require any installation or interaction with a server since everything runs within the browser. Many of the features of native Ciao are supported: prolog flags, language extensions, CLP, cyclic terms, portray attributes, etc. Additionally, it offers an easy way to embed runnable code examples in tutorials, manuals, slides, exercises, etc., and in general any kind of document. These documents can be developed with many tools, such as Google Docs, Jupyter notebooks, Word, Powerpoint, LaTeX, Pages, Keynote, web site generators, etc., etc. The Ciao Developer Team

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users July 2022