split_quoted/7¶

split_quoted(+ Line,+ Separators, GroupQuotes, SingleQuotes, - Split)*

Unify Words with a set of strings obtained from Line by using the character codes in Separators as separators, but treat text within quotes as a single unit. As an example, consider:

 ?- split_quoted( "Hello * I \"am free\"" , " *" ,S).

 S = [ "Hello" , "I" , "am free" ] ?

no