From fisch@ptolemy.arc.nasa.gov Tue Apr 24 22:51:48 2001
Received: from ptolemy.arc.nasa.gov (ptolemy.arc.nasa.gov [128.102.112.134])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f3OKpl312973
	for <prolog@swi.psy.uva.nl>; Tue, 24 Apr 2001 22:51:48 +0200 (MET DST)
Received: from bowl (bowl.arc.nasa.gov [128.102.113.238])
	by ptolemy.arc.nasa.gov ( -- Info omitted by ASANI Solutions, LLC.) with SMTP id NAA27474
	for <prolog@swi.psy.uva.nl>; Tue, 24 Apr 2001 13:52:43 -0700 (PDT)
From: "Bernd Fischer" <fisch@ptolemy.arc.nasa.gov>
To: "SWI Prolog (list)" <prolog@swi.psy.uva.nl>
Date: Tue, 24 Apr 2001 13:55:24 -0700
Message-ID: <NDBBLGANCLGPPKPLENDJKEIACLAA.fisch@ptolemy.arc.nasa.gov>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0)
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200
Subject: [SWIPL] numbervars

Hi,

numbervars/4 allows only a functor as instantiation pattern (i.e., second
argument), not an arbitrary term as call does. I'd like to have something
like

  ? numbervars(f(X, Y, X), v(universal), 0, N).
  X = v(universal, 0)
  Y = v(universal, 1)
  N = 2

I could do this via free_variables etc. but it would be nicer if I could
just call numbervars.

-- fisch

--
------------------------------------------------------------------------------
Bernd Fischer                             Automated Software Engineering Group
RIACS, NASA Ames Research Center                    fisch@ptolemy.arc.nasa.gov
M/S 269-2                               http://ase.arc.nasa.gov/people/fischer
Moffett Field, CA 94035, USA             +1(650)604-2977  fax 4036  rm 269-239

