🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #1270

Re: Standards question: behavior of arg/3

#1270
From: Inst.f.Prakt.Info 1802
Date: Thu, 18 Oct 1990 12:32
12 lines
911 bytes
In article <3992@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) writes:
[...discussion of design principles for BIPs...]
>	?- arg(N, [a,b,c], X).
>makes perfect sense and has two solutions
>	N = 1, X = a ;
>	N = 2, X = [b,c] .

Which Prolog systems have arg/3 defined in this way?


Ulrich Neumerkel
ulrich@vip.at ulrich@vip.UUCP
Technical Details
Message-ID: <1920@tuvie>
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!timbuk!cs.umn.edu!ub.d.umn.edu!rutgers!sun-barr!olivea!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!tuvie!brock
References: <9888@bunny.GTE.COM> <3992@goanna.cs.rmit.oz.au>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!timbuk!cs.umn.edu!ub.d.umn.edu!rutgers!sun-barr!olivea!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!tuvie!brock
From: brock@tuvie (Inst.f.Prakt.Info 1802)
Newsgroups: comp.lang.prolog
Subject: Re: Standards question: behavior of arg/3
Keywords: ANSI, standard
Message-ID: <1920@tuvie>
Date: 18 Oct 90 12:32:14 GMT
References: <9888@bunny.GTE.COM> <3992@goanna.cs.rmit.oz.au>
Reply-To: brock@tuvie.UUCP (Ulrich Neumerkel Inst.f.Prakt.Info 1802)
Organization: Technical University of Vienna, EDP-Center
Lines: 12