Package jason.stdlib

Class count

java.lang.Object
All Implemented Interfaces:
InternalAction, java.io.Serializable

@Manual(literal=".count(query,result)",
        hint="counts the number of occurrences of a belief the belief base",
        argsHint={"the formula used to count literals in the belief base","the resulting unification of the number of occurrences of the belief"},
        argsType={"logical formula","number"},
        examples={".count(a(2,_),N): counts the number of beliefs that unify with a(2,_); N unifies with this quantity",".count((a(2,X)& X>10),N): counts the number of beliefs that unify with a(2,X) and X > 10; N unifies with this quantity",".count(a(2,_),5): succeeds if the BB has exactly 5 beliefs that unify with a(2,_)"},
        seeAlso={"jason.stdlib.findall","jason.functions.Count"})
public class count
extends DefaultInternalAction

Internal action: .count.

Description: counts the number of occurrences of a particular belief (pattern) in the agent's belief base.

Parameters:

  • + query (logical formula): the formula used to count literals in the belief base; is has the same syntax as the plan context.
  • +/- quantity (number): the number of occurrences of the belief.

Examples:

  • .count(a(2,_),N): counts the number of beliefs that unify with a(2,_); N unifies with this quantity.
  • .count((a(2,X)& X>10),N): counts the number of beliefs that unify with a(2,X) and X > 10; N unifies with this quantity.
  • .count(a(2,_),5): succeeds if the BB has exactly 5 beliefs that unify with a(2,_).
See Also:
findall, setof, namespace, function version, Serialized Form