[ Strings and Atoms | Reference Manual | Alphabetic Index ]

# sub_string(+String, ?Before, ?Length, ?After, ?SubString)

Succeeds if SubString is a substring of String, with length Length, preceded by Before, and followed by After characters

String
  String.
Before
  Integer (from 0 upwards) or variable.
Length
  Integer (from 0 upwards) or variable.
After
  Integer (from 0 upwards) or variable.
SubString
  String or variable.

## Description

This is a compatibility alias for substring/5.

### Modes and Determinism

- sub_string(+, +, +, -, -) is semidet
- sub_string(+, -, +, +, -) is semidet
- sub_string(+, +, -, +, -) is semidet
- sub_string(+, +, -, -, +) is semidet
- sub_string(+, -, -, +, +) is semidet
- sub_string(+, +, -, -, -) is nondet
- sub_string(+, -, +, -, -) is nondet
- sub_string(+, -, -, +, -) is nondet
- sub_string(+, -, -, -, +) is nondet
- sub_string(+, -, -, -, -) is multi

### Fail Conditions

String cannot be split into substrings of the required lengths, or SubString does not occur within String

## See Also

substring / 5