Re: Good Bye Stack-Overflow

How it started:
An exciting day! @spolsky called me and let me
know. Today's sale of Stack Overflow, most importantly,
lets Stack Overflow continue as an independent site --
and also mints 61 new millionaires.
Jeff Atwood - 6:47 PM · Jun 2, 2021
https://twitter.com/codinghorror/status/1400132013068218370
How its going:
Stack Overflow cuts 28% of its staff
https://techcrunch.com/2023/10/17/stack-overflow-cuts-28-of-its-staff/
Mild Shock schrieb:

My objection was then that Prolog didn't do
the proof only ChatGPT did it.
 "But Prolog is supposed to search for proofs.
What is the proof?"
 It then continued with attempts like:
 what_if_befriend(Person, Friend, Goal) :-
     assert(friend(Person, Friend)),  % Assert the new friendship
     Goal,  % Check the goal with the new friendship
     retract(friend(Person, Friend)).  % Retract after checking the goal
 Only the above will not work, since
assert/1 cannot return a variable binding.
 So what is the magic behind lambda-Prolog
and hypothetical reasoning? lambda-Prolog
not being in the scope of ChatGPT?