[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What's the "+?" mean to a prolog predicate in manual?
From: |
Wim Vleugels |
Subject: |
Re: What's the "+?" mean to a prolog predicate in manual? |
Date: |
Sun, 9 May 2004 11:52:35 +0200 (MEST) |
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