Deutsch English Français Italiano |
<1011fub$aab8$1@solani.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail From: Mild Shock <janburse@fastmail.fm> Newsgroups: comp.lang.prolog Subject: Nevertheless I have bad news for Prolog (Was: Scryer Prolog has dethroned SWI-Prolog) Date: Mon, 26 May 2025 12:31:40 +0200 Message-ID: <1011fub$aab8$1@solani.org> References: <vsj1an$m6gi$1@solani.org> <vsj1k3$m6op$1@solani.org> <vsj227$m717$1@solani.org> <vsrm16$qfne$1@solani.org> <100v02i$93oj$1@solani.org> <1011fck$a9rv$1@solani.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 26 May 2025 10:31:39 -0000 (UTC) Injection-Info: solani.org; logging-data="338280"; mail-complaints-to="abuse@news.solani.org" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.20 Cancel-Lock: sha1:CvlHOopxixp/uc6cC2Dr/6SBSBY= In-Reply-To: <1011fck$a9rv$1@solani.org> X-User-ID: eJwFwQcBwEAIBDBL7CEH7ot/CU1cgwNp4WF+fuOzZqBWUbnqaz1Lgs0Q79eIKlqaJysTGYlmpKLhZPP4B00AFVM= Hi, But doing the obvious right, is only solid engineering, it doesn't lead to this advertisement: testbed for bleeding edge research in logic and constraint programming https://github.com/mthom/scryer-prolog Also I doubt that this leads to anywhere, since we live in a new era of subsymbolic AI and generative AI, mostlikely pushing the boundaries of some symbolic pipe dreams which have been anyway invalidated by computational complexity research, without offering something really innovative, i.e. only copy pasting SWI-Prolog including nonsense like libray(sgml) mostlikely leads to nowhere. Bye Mild Shock schrieb: > Hi, > > Interestingly Scryer Prolog does many things right. > I find the following test case: > > /* Scryer Prolog 0.9.4-403 */ > ?- length(L,2), f(L) = R, S = [_A]. > L = [_B, _C], > R = f([_B, _C]), > S = [_A]. > > While SWI-Prolog still makes the following error. The > newly generated _A and _B are not checked whether they > already appear in the answer elsewhere, causing a name clash: > > /* SWI-Prolog 9.3.22 */ > ?- length(L,2), f(L) = R, S = [_A]. > = [_A, _B], > R = f([_A, _B]), > S = [_A]. > > Other Prolog systems that avoid the clash as well are > Trealla Prolog, and since today Dogelog Player. > > Bye > > Mild Shock schrieb: >> Hi, >> >> It is time for the 2025 Prolog Awards. >> Are you excited yet? >> >> https://9gag.com/gag/aPAXyEP >> >> Here is the list: >> >> 1. Place: Scryer Prolog, it uses rustyline, >> very convenient: >> >> app<tab> gives append >> a<tab><tab> cycles through letter a predicates >> length(foo) shows the matching braket in blue >> Etc.. >> >> -1. Place: SWI-Prolog, has no line edit at all >> >> Bye >