Re: What's the "+?" mean to a prolog predicate in manual?

[Wim Vleugels]

Hello,

>From the Sicstusmanual:

:ArgName 
This argument should be instantiated to a term denoting a goal or a clause
or a predicate name, or that otherwise needs special handling of module
prefixes. The argument is subject to module name expansion (see Meta Exp). 

+ArgName 
This argument should be instantiated to a non-variable term. 

-ArgName 
This argument should be uninstantiated. 

?ArgName 
This argument may or may not be instantiated. 

Greetz,

Wim

> Hi, there,
> 
> I'm a newbie for prolog. Here's a question, should be a piece of cake
> for you.
> 
> For example, in predicate "findall(?term, +callable_term, ?list)",
> what's the "?+" mean?
> 
> Thanks.
> Calvin
> 
> 
> 
> _______________________________________________
> Users-prolog mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/users-prolog
> 

-- 
"Sie haben neue Mails!" - Die GMX Toolbar informiert Sie beim Surfen!
Jetzt aktivieren unter http://www.gmx.net/info