::/2

Description

Object::Predicate
	
(Object1, Object2, ...)::Predicate
(Object1; Object2; ...)::Predicate

Object::(Predicate1, Predicate2, ...)
Object::(Predicate1; Predicate2; ...)

Sends a message to an object. The message argument must match a public predicate of the receiver object. When the message corresponds to a protected or private predicate, the call is only valid if the sender matches the predicate scope container. We can also send the same message to either a conjunction or a disjunction of objects or send either a conjunction or disjunction of messages to the same object.

Template and modes

+receivers::+messages

Errors

Either Object or Predicate is a variable:

instantiation_error

Predicate is declared private:

permission_error(access, private_predicate, Predicate)

Predicate is declared protected:

permission_error(access, protected_predicate, Predicate)

Predicate is not declared:

existence_error(predicate_declaration, Predicate)

Object does not exist:

existence_error(object, Object)

Examples

| ?- list::member(X, [1, 2, 3]).

X = 1 ;
X = 2 ;
X = 3
yes