Package jason.stdlib

Class length

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

@Manual(literal=".length(argument,length)",
        hint="gets the length of strings or lists",
        argsHint={"the term whose length is to be determined","the resulting length"},
        argsType={"string or list","number"},
        examples={".length(\"abc\",X): X unifies with 3",".length([a,b],X): X unifies with 2",".length(\"a\",2): false"},
        seeAlso={"jason.stdlib.concat","jason.stdlib.delete","jason.stdlib.member","jason.stdlib.sort","jason.stdlib.nth","jason.stdlib.max","jason.stdlib.min","jason.stdlib.reverse","jason.stdlib.difference","jason.stdlib.intersection","jason.stdlib.union"})
public class length
extends DefaultInternalAction

Internal action: .length.

Description: gets the length of strings or lists.

Parameters:

  • + argument (string or list): the term whose length is to be determined.
  • +/- length (number).

Examples:

  • .length("abc",X): X unifies with 3.
  • .length([a,b],X): X unifies with 2.
  • .length("a",2): false.
See Also:
concat, delete, max, member, min, sort, nth, sort, reverse, difference, intersection, union, function version, Serialized Form