Package jason.stdlib

Class lower_case

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

@Manual(literal=".lower_case(argument,result)",
        hint="converts given string into lower case",
        argsHint={"the term representation as a string will be used","the resulting string"},
        argsType={"term","string"},
        examples=".lower_case(\"CArtAgO\",X): unifies X with \"cartago\"",
        seeAlso={"jason.stdlib.concat","jason.stdlib.delete","jason.stdlib.length","jason.stdlib.reverse"})
public class lower_case
extends DefaultInternalAction

Internal action: .lower_case(S1,S2).

Description: converts the string S1 into lower case S2.

Parameters:

  • + S1 (a term). In this case, the term to string is used.
  • -/+ S2 (a string).

Examples:

  • .lower_case("CArtAgO",X): unifies X with "cartago".
See Also:
concat, delete, length, reverse, Serialized Form
  • Field Details

  • Constructor Details

    • lower_case

      public lower_case()
  • Method Details