From sebhamahroka@hotmail.com Thu Apr 19 05:01:46 2001
Received: from hotmail.com (f47.law14.hotmail.com [64.4.21.47])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f3J31k317593
	for <prolog@swi.psy.uva.nl>; Thu, 19 Apr 2001 05:01:46 +0200 (MET DST)
Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC;
	 Wed, 18 Apr 2001 20:01:35 -0700
Received: from 161.142.100.86 by lw14fd.law14.hotmail.msn.com with HTTP;	Thu, 19 Apr 2001 03:01:35 GMT
X-Originating-IP: [161.142.100.86]
From: "sebha mahroka" <sebhamahroka@hotmail.com>
To: prolog@swi.psy.uva.nl
Date: Thu, 19 Apr 2001 11:01:35 +0800
Mime-Version: 1.0
Content-Type: text/plain; format=flowed
Message-ID: <F4765Rn8P5o7P6umLrX000030d9@hotmail.com>
X-OriginalArrivalTime: 19 Apr 2001 03:01:35.0621 (UTC) FILETIME=[0B869350:01C0C87D]
Subject: [SWIPL] help!


Hi

I would like to know if it's possible to create one predicate with different 
length,and different type of arogument

ex. test(X,Y,Z)      ....test(integer,symbol,integer)       3 arguments
     test(W,K,L,M,N) .....tese(integer,integer,integer,...)  5 arguments
     test(A,X)    ........test(symbol,integer)               2 arguments

and how I can declare it in domain and predicates section

Thank you
_________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com.

