Can I do something like this

Roelof Wobben <[email protected]> Sun, 23 Mar 2014 20:05:42 +0000

Newsgroups	gmane.comp.ai.prolog.swi
Message-ID	<[email protected]>

I have a predicate which has 2 possibilities.

the parameter is substained or not. 

Can I do something like this now. 

my_predicate(var(x)) :- 
     write("The solutions are").

my_predicate(nonvar(x) ) 
     write("the pairs are").

Or can I better do :

my_predicate(x) :-
     var(x), 
     write ( ).

my_predicate(x) :-
     nonvar(x), 
     write ( ).


 		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed