Re: how to make this fail driven loop succesfull ?
"Richard A. O'Keefe" <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
On 9/03/2014, at 10:05 AM, Kilian Evang wrote: > On 2014-03-08 22:00, Roelof Wobben wrote: >> I have tried to add siblings(_) but with no success > > You need siblings(_,_). In Prolog, a predicate is identified by functor > *and* number of arguments. In Prolog, a predicate is identified by a triple Module:Name/Arity The Module part is the name of the module the predicate is defined in. The Name part is the atom that goes before the left parenthesis. THIS PART IS NOT A FUNCTOR! The Arity part is the number of arguments. The functor of a predicate is the Name/Arity pair. foo:bar/1 bar:bar/1 bar:bar/2 are three different predicate names. All of them have the same predicate NAME or SYMBOL. The first two have the same FUNCTOR but different MODULES. The last two have the same MODULE but different FUNCTORS.