Ciao-users

ciao-users@cliplab.org

948 discussions

Logtalk 3.61.0 released
by Paulo Moura 20 Dec '22

20 Dec '22

Hi, Logtalk 3.61.0 is now available for downloading at: https://logtalk.org/ This release provides updated for several Prolog backend adapters and integration scripts for use in the Jupyter kernel for Logtalk (https://github.com/LogtalkDotOrg/logtalk-jupyter-kernel); adds a new "ids" library for generating identifiers (Base64 encoded) with parametrizable text representation and number of bytes of randomness; adds new "pairs" library object predicates; adds "packs" tool support for using "git archive" for installing packs, providing a better user experience when the packs registry server uses Single Sign-On (SSO) for authentication; and includes additional tests for library predicates and standard arithmetic functions. 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

HCVS 2023 - First Call for Papers
by Jose F. Morales 19 Dec '22

19 Dec '22

10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023 23rd April 2023 - Paris, France https://www.sci.unich.it/hcvs23/ Important dates: - Paper submission deadline: Feb 22, 2023 - Paper notification: Mar 22, 2023 - Workshop: Apr 23, 2023 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This series of workshops aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE, IJCAR), on the topic of Horn clause based analysis, verification, and synthesis. Horn clauses for verification and synthesis have been advocated by these communities in different times and from different perspectives and HCVS is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows previous meetings: HCVS 2022 in Munich, Germany (ETAPS 2022), HCVS 2021, online (ETAPS 2021), HCVS 2020, online (ETAPS 2020), HCVS 2019 in Prague, Czech Republic (ETAPS 2019), HCVS 2018 in Oxford, UK (CAV, ICLP and IJCAR at FLoC 2018), HCVS 2017 in Gothenburg, Sweden (CADE 2017), HCVS 2016 in Eindhoven, The Netherlands (ETAPS 2016), HCVS 2015 in San Francisco, CA, USA (CAV 2015), and HCVS 2014 in Vienna, Austria (VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent, transition systems, petri-nets, smart contracts) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Machine learning and automated reasoning - CHC encoding of analysis and verification problems - Resource analysis - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results, extended abstracts of doctoral theses, and overviews of research projects that are of interest to the workshop. At least one author of each accepted paper will be required to attend the workshop to present the contribution. CHC Competition: HCVS 2023 will host the 6th competition on constraint Horn clauses (CHC-COMP https://chc-comp.github.io/ ), which will compare state-of-the-art tools for CHC solving for performance and effectiveness on a set of publicly available benchmarks. A report on CHC-COMP will be part of the workshop's proceedings. The report also contains tool descriptions of the participating solvers. Program Chairs: David Monniaux, VERIMAG, CNRS, Grenoble, France José F. Morales, IMDEA Software, Madrid, Spain Program Committee: TBA Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography in EPTCS (http://www.eptcs.org/) format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Tool papers (up to 4 pages in EPTCS format), including the papers written by the CHC-COMP participants, which can outline the theoretical framework, the architecture, the usage, and experiments of the tool. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - **Presentation-only papers**, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. - Posters that are of interest to the workshop All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ (provided that enough regular papers are accepted). The publication of a paper is not intended to preclude later publication. Full versions of extended abstracts published in EPTCS, or substantial revisions, may later be published elsewhere. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2023

1 0

Logtalk 3.60.0 released
by Paulo Moura 16 Nov '22

16 Nov '22

Hi, Logtalk 3.60.0 is now available for downloading at: https://logtalk.org/ This release adds a new linter check for the availability of predicates (and non-terminals) listed in `uses/2` and `use_module/2` directives; improves the readability of default flag values printed at startup; updates all backend adapter files to recognize `.pro` as a valid Prolog file name extension; includes Handbook, library, and tools documentation improvements; updates the manual installation instructions for `zsh` users; adds `json` library support for customizing the term representation of JSON objects and JSON pairs; adds new `reader::line_to_chars/2-3` library predicates; adds new and improved linter checks to the `lgtdoc` tool; adds a new `lgtunit` tool `file_path/2` predicate; includes fixes for the `logtalk_doclet` and `logtalk_tester` scripts; includes additional tests for several Prolog standard predicates; updated the `logtalk_user_setup` scripts to prevent misuse; and adds support for escape sequences inside double-quoted terms to most text editors and syntax highlighters. 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

Logtalk 3.59.0 released
by Paulo Moura 18 Oct '22

18 Oct '22

Hi, Logtalk 3.59.0 is now available for downloading at: https://logtalk.org/ This release adds a new linter warning for naked meta-variables; adds linter warnings to the "lgtdoc" tool; updates the Bash shell integration scripts to be aware of the default Homebrew installation directory on macOS; updates all PowerShell scripts to check for a compatible PowerShell version; improves several Handbook sections; improves the documentation of the "random" and "types" libraries; includes fixes for the "logtalk_tester.ps1" script; updates the "lgtunit" tool to print a warning on invalid test options; fixes "lgtdoc" issues; updates and adds new Prolog standards compliance tests; adds new library predicates; and includes portability updates for Ciao Prolog and SICStus Prolog. 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

Logtalk 3.58.0 released
by Paulo Moura 27 Sep '22

27 Sep '22

Hi, Logtalk 3.58.0 is now available for downloading at: https://logtalk.org/ This release adds a new linter warning for non-terminals called as predicates; adds a compilation warning when compiling a "logtalk_load_context/2" goal with an invalid key; fixes the compiler to not throw an instantiation error when the body of a clause is a variable; improves documentation on third-party dependencies to build documentation final formats and to use the developer tools; improves Handbook, libraries, and tools documentation; provides fixes and improvements for the "os", "types", and "arbitrary" libraries; includes a new "lgtunit" version with improved QuickCheck support; adds experimental predicates to the "help" tool to browse and search inline at the top-level the Texinfo versions of the Handbook and APIs documentation; fixes a missing message tokenization in the "packs" tool; adds new Net-Clause Language (NCL) examples; adds new compliance tests for standard Prolog predicates and operators; adds a port of FCube, a prover for intuitionistic propositional logic; adds Emacs code snippets, contributed by Paul Brown; provides an embedding script for Ciao Prolog and improves the documentation of the embedding scripts; provides a PowerShell script for building the Handbook; updates the release build script to include all final formats for the Handbook and APIs documentation in the generated archives and installers; and includes portability updates for LVM, Trealla Prolog, and YAP. 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

PPDP 2022 and LOPSTR 2022 Call for Participation
by Manuel Hermenegildo 05 Aug '22

05 Aug '22

[ Apologies for multiple postings ] ============================ PPDP 2022 - LOPSTR 2022 JOINT CALL FOR PARTICIPATION ============================ PPDP 2022 24th International Symposium on Principles and Practice of Declarative Programming 20-22 September 2022, Tbilisi, Georgia https://software.imdea.org/Conferences/PPDP2022/ Co-located with LOPSTR 2022 32nd International Symposium on Logic-Based Program Synthesis and Transformation 21-23 September 2022, Tbilisi, Georgia https://lopstr2022.webs.upv.es/ The conferences will be held as hybrid (blended) meetings, both in-person and virtual. Both conferences are part of CLAS 2022: http://www.viam.science.tsu.ge/clas2022/ =================================== Registration ------------ Please use the CLAS registration form on EasyChair: https://easychair.org/my/conference?conf=clas2022 * Early registration deadline August 14, 2022 * An online-only registration option is available. =================================== Invited Speakers ---------------- Niki Vazou, IMDEA Software Institute, Spain (joint PPDP-LOPSTR invited speaker) Florian Zuleger, Technische Universität Wien, Austria (joint PPDP-LOPSTR invited speaker) Torsten Grust, University of Tübingen, Germany (PPDP invited speaker) Robert Hierons, The University of Sheffield, UK. (LOPSTR invited speaker) Ornela Dardha, Elena Giachino, and Davide Sangiorgi (10 Year Most Influential Paper Award for “Session Types Revisited”, PPDP 2012). =================================== About PPDP ---------- The PPDP symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. About LOPSTR ------------ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. =================================== Please consult the conferences' webpages for the lists of accepted papers. Hope to see you in Tbilisi! The PPDP and LOPSTR chairs. Alicia Villanueva Manuel Hermenegildo Beniamino Accattoli

1 0

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

The ALP Alain Colmerauer Prolog Heritage Prize
by Manuel Hermenegildo 15 Jun '22

15 Jun '22

Organized by The Association for Logic Programming (ALP) and The Prolog Heritage Association In the summer of 1972, Alain Colmerauer and his team in Marseille developed and implemented the first version of the logic programming language Prolog. Together with both earlier and later collaborations with Robert Kowalski and his colleagues in Edinburgh, this work laid the practical and theoretical foundations for the Prolog and logic programming of today. Prolog and its related technologies soon became key tools of symbolic programming and Artificial Intelligence. The Year of Prolog celebrates the 50th anniversary of these events and highlights the continuing significance of Prolog and Logic Programming both for symbolic, explainable AI, and for computing more generally. This celebration will culminate with the award of the inaugural edition of the ALP Alain Colmerauer Prolog Heritage Prize for recent practical accomplishments that highlight the benefits of Prolog-inspired computing for the future. The Prize will be presented at the Prolog Day Symposium on November 10, 2022, in Paris, France. Eligibility Any individual or group of individuals can nominate themselves or their institution(s)/organization(s) for the Prize. Selection The Prize will be given for depth, novelty, and proven or potential impact. A shortlist of up to five nominations will also be selected in the process. Endowment The winner(s) will receive a certificate and a cash Prize of 2,000 Euros. The expenses of the shortlisted nominees will be covered up to 1,000 Euros, supported by the Artificial Intelligence Journal. Timeline Deadline for nominations/submissions: *** September 2, 2022 *** Notification of the shortlisted candidates: *** September 30, 2022 *** For more information and details, see: https://prologyear.logicprogramming.org/ColmerauerPrize.html The Year of Prolog and its activities, including the Alain Colmerauer Prize, are sponsored by the Association for Logic Programming, the Prolog Heritage Association, the AI Journal, Institut Carnot Cognition, and Institut Fredrik Bull, among others. -- -------------------------------------------------------------------------

1 0

Jump to page:

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