Ciao-users March 2022

ciao-users@cliplab.org

2 participants
2 discussions

Explaining why and why not with s(CASP)
by David Epstein 29 Mar '22

29 Mar '22

Hi everyone, I'm new here. I'd like to learn more about how to get human readable explanations for query answers, both why and why not. For example, with the file: scared(P1) :- no_escape(P1), faces_conflict_against(P1,P2), is_weaker_than(P1,P2). no_escape(john). faces_conflict_against(john,bob). is_weaker_than(john,bob). ?- scared(john). John is scared because all three prerequisites matched. How can I ask s(CASP) to tell me the three ways John would not be scared: (1) if he had an escape, (2) if he did not face a conflict with Bob (3) if he were not weaker than Bob. Let's say John has an escape. I'm not exactly sure how negation works yet in Ciao. "not no_escape(john)" triggers an error but "-no_escape(john)" works. Now, John is not scared. How can I ask s(CASP) to tell me what would be required to make him scared? Finally, is there a way to express that we don't know whether John has an escape? Do I simply omit that line? Then, how can I ask s(CASP) to reason through both possibilities and tell me the results? Thank you! -david

1 0

Logtalk 3.54.0 released
by Paulo Moura 23 Mar '22

23 Mar '22

Hi, Logtalk 3.54.0 is now available for downloading at: https://logtalk.org/ This release adds a new linter warning for "catch/3" goals; adds support to user-defined linter warning messages for suspicious calls; adds a new Handbook section on the logic and control built-in public methods; improves the Handbook documentation on the term-expansion mechanism; improves documentation on applying the developer tools to plain Prolog code; adds new "union_find" and "grammars" libraries; improves the "sets" library thanks to a contribution by Adrián Arroyo Calle; adds linter checks for "format/2-3" goals to the "format" library; adds new predicates to the "pairs" library; adds new types to the "arbitrary" and "types" libraries; adds a "lgtunit" tool linter check for the use of unification goals in test outcome assertions; improves the performance of the "ports_profiler" tool; includes new predicates and fixes for the "packs" tool; fixes "lgtdoc" tool issues with Sphinx output; improves and updates examples; adds new standards compliance sets; and includes portability updates for B-Prolog, Ciao Prolog, ECLiPSe, GNU Prolog, LVM, Scryer Prolog, Tau Prolog, 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

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 March 2022