From ok@atlas.otago.ac.nz Thu Apr 19 06:37:30 2001
Received: from atlas.otago.ac.nz (atlas.otago.ac.nz [139.80.32.250])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f3J4bS320325
	for <prolog@swi.psy.uva.nl>; Thu, 19 Apr 2001 06:37:29 +0200 (MET DST)
Received: (from ok@localhost)
	by atlas.otago.ac.nz (8.9.3/8.9.3) id QAA86505;
	Thu, 19 Apr 2001 16:37:25 +1200 (NZST)
Date: Thu, 19 Apr 2001 16:37:25 +1200 (NZST)
From: "Richard A. O'Keefe" <ok@atlas.otago.ac.nz>
Message-Id: <200104190437.QAA86505@atlas.otago.ac.nz>
To: prolog@swi.psy.uva.nl, sebhamahroka@hotmail.com
Subject: Re:  [SWIPL] help!

	I would like to know if it's possible to create one predicate with different 
	length,and different type of arogument
	
No.  It is, however, possible to create *DIFFERENT* predicates
that just happen to have part of their name (the symbol) in common.


	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
	
This example lists three predicates test/3, test/5, and test/2.
Predicates are named by module:symbol/arity triples; if any part of
the name is different, you have a a different name for a different predicate.

	and how I can declare it in domain and predicates section
	
There is no 'domain' or 'predicates' section in SWI Prolog.
That's PDC Prolog, formerly Turbo Prolog.  Edinburgh/ISO Prologs do
not use compile-time types (although there is the DEC-10 Prolog type
checker floating around).

There is no type-based overloading in SWI Prolog.

