Sujet : Alain Colmerauer Prolog Systems Price (Was: The Heat Death of Prolog)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prologDate : 17. Oct 2024, 11:15:45
Autres entêtes
Message-ID : <veqo4g$hpvv$1@solani.org>
References : 1
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.19
Hi,
The price that nobody needs:
- Alain Colmerauer Prolog Heritage Prize
recent practical accomplishments that
highlight the benefits of Prolog-inspired
computing for the future
- Theresa Swift and Carl Andersen
Janus nonsense
- Michael Leuschel and STUPS Group
ProB nonsense
https://logicprogramming.org/alain-colmerauer-prize/The price that everybody wants:
- Alain Colmerauer Prolog Systems Price
For contributions of lasting and major
technical importance to Prolog Systems
design.
- Mats Carlsson: SICstus Prolog
https://www.ri.se/en/person/mats-carlsson - Jan Wielemaker: SWI Prolog
https://en.wikipedia.org/wiki/Jan_Wielemaker - Ulrich Neumerkel: ISO Standard
https://informatics.tuwien.ac.at/people/ulrich-neumerkel - Markus Triska: CLP Integration
https://www.metalevel.at/ - Taisuke Sato: Tabulated Resolution
https://rjida.meijo-u.ac.jp/sato-www/sato/ Etc.. Etc..
Bye
Mild Shock schrieb:
An increase in entropy indicates greater uncertainty
in the implementers's choice of operations,
potentially reflecting a decrease of intuition.
Maximum entropy occurs when all operations are
equally likely, corresponding to a state where
the implementer acts randomly due to lack of
intuitive guidance. In this framework, we might
interpret the "heat death" of Prolog as a state
where implementers no longer have effective
intuition or insight to guide their work.
AI-driven development of Prolog systems
https://lims.ac.uk/documents/undefined-10.pdf