Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.prolog > #14827

Root Cause Prediction for Your Brain (Was: The morning coffee incident [Prolog Community])

From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.prolog
Subject Root Cause Prediction for Your Brain (Was: The morning coffee incident [Prolog Community])
Date 2025-09-19 18:22 +0200
Message-ID <10ak000$kasv$1@solani.org> (permalink)
References (1 earlier) <1092gfa$v64e$1@solani.org> <1092j9d$v7rf$1@solani.org> <10aj2ki$j9n8$1@solani.org> <10aj36c$ja3r$1@solani.org> <10ajis4$k2ch$1@solani.org>

Show all headers | View raw


Hi,

I like the expert system description by

 > I used Claude code to help me create a Prolog
 > program of a little expert system to manage a
 > kitchen that needed to produce different dishes
 > with different appliances and to be able to
 > maximize revenue. -- bauhaus911

Instead of maximizing revenue you could also
maximize energy boost. So instead of having
a couple of morons on SWI-Prolog discourse,

like those that have parked their brain in the
nowhere and are going full throttle Donald
Trump / Kesh Patel Nazi, the system could

indeed recommend Orange Juice instead of
coffee. For the following brain benefits:

- Vitamin C powerhouse: ~50–60 mg per 100 ml,
   giving a solid immune boost.

- Quick energy: natural sugars (glucose + fructose)
   give your brain and body fast fuel.

- Hydration: mostly water, which helps maintain
   energy and focus.

Have Fun! LoL

Bye


Mild Shock schrieb:
> Hi,
> 
> Thank god it was only coffee and not orange juice:
> 
> Ozzy Pours The Perfect O.J.
> https://m.youtube.com/watch?v=ojQUYq21G-o
> 
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> It seems the LP (Linear programming)
>> library by SWI-Prolog has been also
>> ported to Scryer Prolog using the same DCG
>> design as demonstrated in SWI-Prolog again:
>>
>> Module simplex
>> https://www.scryer.pl/simplex
>>
>> What it requires from the Prolog system,
>> and is not covered by the ISO core standard,
>> are rational number, i.e. rdiv/2 etc.. and if
>> you feed it with floating point numbers,
>>
>> judging from the source code, it might bark
>> that it has no CLP(R) available to solve it. CLP(R)
>> could be maybe a good candidate for Copilot+
>> machines, but I am currently not aware
>>
>> of a Copliot+ Prolog system so to speak:
>>
>> About Microsoft Copilot+ PCs
>> https://www.wired.com/story/what-is-copilot-plus-pc/
>>
>> The DCG design could make it easy that a
>> solver somehow hands a problem to a NPU,
>> making it transparent for the end-user.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> For the LP (Linear programming) part, it
>>> might be interesting to recall, that SWI-Prolog
>>> has an according library:
>>>
>>> A.55 library(simplex): Solve linear programming problems
>>> https://eu.swi-prolog.org/pldoc/man?section=simplex
>>>
>>> To model the constraint store, it doesn’t need
>>> any native Prolog system support, since it uses
>>> DCG for state threading. Linear programming was
>>>
>>> long time the pinnacle of mathematical problem
>>> solving. But some Articial Intelligence method do
>>> typically go beyond the linear case, might also
>>>
>>> tackle non-linear problems etc.. making heavy
>>> use of a NPU (Neural Processing Unit). In May 2025
>>> the first AI Laptops arrived with >40 TOPS NPUs.
>>>
>>> Spearheaded by Microsoft branding it Copilot+.
>>>
>>> Bye
>>
> 

Back to comp.lang.prolog | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

WebPL is already outdated Mild Shock <janburse@fastmail.fm> - 2025-08-17 18:37 +0200
  Heap/Stack versus WAM resp. ZIP (Was: WebPL is already outdated) Mild Shock <janburse@fastmail.fm> - 2025-08-18 14:52 +0200
    Trealla knows Program Sharing (PS) Tricks ? (Was: Heap/Stack versus WAM resp. ZIP) Mild Shock <janburse@fastmail.fm> - 2025-08-18 15:06 +0200
      Smarter Partial Strings would use Program Sharing ['$append'/3] (Was: Trealla knows Program Sharing (PS) Tricks ?) Mild Shock <janburse@fastmail.fm> - 2025-08-18 15:42 +0200
        Static Shunting is even better [Dogelog Player] (Was: Smarter Partial Strings would use Program Sharing ['$append'/3]) Mild Shock <janburse@fastmail.fm> - 2025-08-18 15:49 +0200
  The Artificial Intelligence Flip: Acer Swift Go! (Was: WebPL is already outdated) Mild Shock <janburse@fastmail.fm> - 2025-08-31 23:56 +0200
    2025 will be last year we hear of Python (Re: The Artificial Intelligence Flip: Acer Swift Go!) Mild Shock <janburse@fastmail.fm> - 2025-09-01 00:45 +0200
      Apertus: With love, from Switzerland [02 Sept 2025] (Re: 2025 will be last year we hear of Python) Mild Shock <janburse@fastmail.fm> - 2025-09-05 00:36 +0100
      Don't try this (Was: Apertus: With love, from Switzerland [02 Sept 2025] ) Mild Shock <janburse@fastmail.fm> - 2025-09-05 01:03 +0100
      AI means ambracing Non-Linearity (Was: 2025 will be last year we hear of Python) Mild Shock <janburse@fastmail.fm> - 2025-09-19 10:01 +0200
        AI soaked PCs: Is there a Copilot+ Prolog? (Was: AI means ambracing Non-Linearity) Mild Shock <janburse@fastmail.fm> - 2025-09-19 10:10 +0200
          The morning coffee incident [Prolog Community] (Was: AI soaked PCs: Is there a Copilot+ Prolog?) Mild Shock <janburse@fastmail.fm> - 2025-09-19 14:38 +0200
            Root Cause Prediction for Your Brain (Was: The morning coffee incident [Prolog Community]) Mild Shock <janburse@fastmail.fm> - 2025-09-19 18:22 +0200
              Please delete my account and all my posts on SWI-Prolog discourse (Re: Root Cause Prediction for Your Brain) Mild Shock <janburse@fastmail.fm> - 2025-09-19 18:38 +0200
                I will consult a Lawyer of mine (Was: Please delete my account and all my posts on SWI-Prolog discourse) Mild Shock <janburse@fastmail.fm> - 2025-09-19 18:42 +0200
  Scryer Prolog unify_with_occurs_check/2 doesn't scale (Was: WebPL is already outdated) Mild Shock <janburse@fastmail.fm> - 2025-09-19 16:08 +0200
    How bad is Rust, can JavaScript beat it? (Was: Scryer Prolog unify_with_occurs_check/2 doesn't scale) Mild Shock <janburse@fastmail.fm> - 2025-09-19 16:18 +0200
    unify_with_occurs_check/2 might have been fixed (Was: Scryer Prolog unify_with_occurs_check/2 doesn't scale) Mild Shock <janburse@fastmail.fm> - 2025-09-25 01:50 +0200
      Had to Rollback my Jaffar Unification (Was: unify_with_occurs_check/2 might have been fixed) Mild Shock <janburse@fastmail.fm> - 2025-09-25 01:59 +0200
        Trealla Prolog might apply "frozeness" to cyclic terms (Was: Had to Rollback my Jaffar Unification) Mild Shock <janburse@fastmail.fm> - 2025-09-25 02:06 +0200
          Non-intrusive through "frozen" subcategories (Was: Trealla Prolog might apply "frozeness" to cyclic terms) Mild Shock <janburse@fastmail.fm> - 2025-09-25 02:21 +0200
    Scryer Prolog occurs check cannot do hydra (Was: Scryer Prolog unify_with_occurs_check/2 doesn't scale) Mild Shock <janburse@fastmail.fm> - 2025-09-26 12:19 +0200
  WebPL and Scryer Prolog are bad examples (Was: WebPL is already outdated) Mild Shock <janburse@fastmail.fm> - 2025-10-13 09:49 +0200
    Who will win Shift-Reduce or Tabled DCG? [AI Boom] (Was: WebPL and Scryer Prolog are bad examples) Mild Shock <janburse@fastmail.fm> - 2025-10-13 15:09 +0200
  primes.pl mainly tests the Prolog ALU [mod/2 vs rem/2] (Was: WebPL is already outdated) Mild Shock <janburse@fastmail.fm> - 2025-10-15 02:38 +0200
    25-30% is insane, Neural Network Branch Prediction? (Was: primes.pl mainly tests the Prolog ALU) Mild Shock <janburse@fastmail.fm> - 2025-10-15 04:33 +0200
      NPUs (Neural Processing Units) are the new normal (Was: 25-30% is insane, Neural Network Branch Prediction?) Mild Shock <janburse@fastmail.fm> - 2025-10-15 16:04 +0200
        Ask Phind: AI inflection point right now [End 2025] (Was: NPUs (Neural Processing Units) are the new normal) Mild Shock <janburse@fastmail.fm> - 2025-10-15 16:10 +0200
          Eat Tteokbokki before SkyNet kills you [$100 ChatGPT] (Was: Ask Phind: AI inflection point right now [End 2025]) Mild Shock <janburse@fastmail.fm> - 2025-10-18 15:57 +0200
            Give Julio Di Egidio the bloody money [3 RMB¥ MiniMind] (Re: Eat Tteokbokki before SkyNet kills you [$100 ChatGPT]) Mild Shock <janburse@fastmail.fm> - 2025-10-18 16:19 +0200
              Vertex AI Training is more expensive? (Was: Give Julio Di Egidio the bloody money [3 RMB¥ MiniMind]) Mild Shock <janburse@fastmail.fm> - 2025-10-21 00:32 +0200
        The Love Affair: OpenAI and AMD (Was: NPUs (Neural Processing Units) are the new normal) Mild Shock <janburse@fastmail.fm> - 2025-10-18 18:59 +0200
        The NPU in your Browser [WebNN by W3C] (Was: NPUs (Neural Processing Units) are the new normal) Mild Shock <janburse@fastmail.fm> - 2025-10-26 08:39 +0100
          Fuzzy Alert: Boris the Loris on the Dancefloor (Was: The NPU in your Browser [WebNN by W3C]) Mild Shock <janburse@fastmail.fm> - 2025-10-26 11:33 +0100

csiph-web