From Newsgroup: comp.lang.prolog
Hi,
Ha Ha, the AI Boom leaves its traces:
The theme will be rCLReimagining Resilience:
Empowering Local Communities in a Time of
Uncertain Federal SupportrCY A follow-on event
will be held at the Pentagon from April 15th-16th, 2026.
https://star-tides.net/
Don't be afraid, of the sustained Layoff
Tsunamis and Defunding Rounds. There
are a lot of Burger jobs still around,
Sandwich artist is a respected job.
Bye
Mild Shock schrieb:
Hi,
It takes a lot of guts to related SLD failure of
an empty predicate to CWA:
closed-world assumption
The assumption that what cannot be proved
true is false. Therefore, sending a message
corresponding to a declared but not defined
predicate, or calling a declared predicate
with no clauses, fails. But messages or
calls to undeclared predicates generate an error. https://logtalk.org/handbook/glossary.html#term-closed-world-assumption
I mean all he wants to say is that an empty
predicate doesn't have a throw catchall clause.
Nothing to do with CWA. CWA is a mathematical
concept postulating that from G |/- A we want
to jump to G |-_CWA ~A. Its not that the
predicate in questions would be called with
a negation in front, and that we would really
be interested in a "is false".
Even if SWI has rebranded "fail" into "false"
in the top-level, its still most often
a SLD result, and not a CWA result.
At least the key phrase still uses "fails",
when he writes "calling a declared predicate
with no clauses, fails". It could be worse
if he would really apply the CWA and write
calling a declared predicate with no clauses,
is false". Such a conclusion can only be
detected in logic by querying ~A, while he
still deals with a query A.
Bye
Mild Shock schrieb:
Hi,
How it started:
https://www.instagram.com/p/Cump3losObg
How its going:
https://9gag.com/gag/azx28eK
Bye
--- Synchronet 3.21f-Linux NewsLink 1.2