Ciao Prolog inspired Test Case (Re: Ulrich Neumerkel is like Ozzy Osbourne)

Liste des GroupesRevenir à cl prolog 
Sujet : Ciao Prolog inspired Test Case (Re: Ulrich Neumerkel is like Ozzy Osbourne)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 27. May 2025, 06:45:04
Autres entêtes
Message-ID : <1013jgv$k94$1@solani.org>
References : 1
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.20
Expectation:
/* Dogelog Player 1.3.3, Trealla Prolog 2.71.33,
    Scryer Prolog 0.9.4-403 */
?- length(L,2), f(L) = R, S = [_A].
L = [_B, _C], R = f([_B, _C]), S = [_A].
/* Dogelog Player 1.3.3, SWI-Prolog 9.3.22 */
?- length(L,2), f(L) = R, S = [_].
L = [_A, _B], R = f([_A, _B]), S = [_].
Reality:
/* Trealla Prolog 2.71.33, Scryer Prolog 0.9.4-403 */
?- length(L,2), f(L) = R, S = [_].
    L = [_A,_B], R = f([_A,_B]), S = [_C].
It seems that _ is not reconstructed.

Date Sujet#  Auteur
5 Dec 24 * Ulrich Neumerkel is like Ozzy Osbourne8Mild Shock
5 Dec 24 +* Re: Ulrich Neumerkel is like Ozzy Osbourne6Mild Shock
5 Dec 24 i`* Re: Ulrich Neumerkel is like Ozzy Osbourne5Mild Shock
5 Dec 24 i `* Re: Ulrich Neumerkel is like Ozzy Osbourne4Mild Shock
25 May08:46 i  `* Prolog Development à la Sigmund Freud (Was: Ulrich Neumerkel is like Ozzy Osbourne)3Mild Shock
25 May08:57 i   `* variable ordering guarantees in term_singletons/2 (Was: Prolog Development à la Sigmund Freud)2Mild Shock
25 May09:18 i    `- My stupid Dogelog Player falls back to _<number> (Was: variable ordering guarantees in term_singletons/2)1Mild Shock
27 May06:45 `- Ciao Prolog inspired Test Case (Re: Ulrich Neumerkel is like Ozzy Osbourne)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal