Re: Meaning of ':' and '{}'

Advait wrote:
Hi,
Please, can anyone tell me what is meaning of predicates ':' and '{}'
?

It depends on the context. : is used for module qualification of predicates.
Like
lists:member(X,L)

The curly brackets are used in Definite Clauses Grammars: find the section on DCGs in
the manual or google for it and you will find out easily. There are uses of {} as a
functor in datastructures also.

Cheers

Bart Demoen

.

Relevant Pages

  • Re: Aristotles logic decidable?
    ... but also by logicians who came from mathematics. ... I don't know what "universal term" means, ... I think Frege is correct to say that the meaning ... predicates might not be *necessarily* coextensional. ...
    (sci.logic)
  • Re: adjective noun first order logic
    ... "old man John" is not an assertion. ... but rather a phrase. ... Its an interesting task to give meaning to phrases. ... What is the advantage of using equations instead of predicates? ...
    (sci.logic)
  • Re: unexplained warning message in m{...} regexp
    ... meaning in regexes. ... See perldoc perlre. ... the curly brackets are correctly escaped. ...
    (comp.lang.perl.misc)
  • Re: unexplained warning message in m{...} regexp
    ... meaning in regexes. ... See perldoc perlre. ... the curly brackets are correctly escaped. ...
    (comp.lang.perl.misc)
Loading