17.6. Match Specifications: The Nuts and Bolts

When covering the help function dbg:fun2ms/1, we went into a high-level explanation of its results, namely match specifications. The specifications are tuples with three elements of the format [Head, Conditions, Body]:

• The head is used to bind and match variables and terms.

• In the conditions, logical tests are applied on the variables. You can define your own logical tests or use predefined guards.

• In the body part of the specification, we list a possibly empty set of predefined actions that have to be taken if the match in the head is successful and the logical conditions are met.