Availability:
:- use_module(library(dcg/basics)).
[det]string_without(+EndCodes,
-Codes)//
...,
string_without("\n", RestOfLine)
| EndCodes | is a list of character codes. |
- See also
- string//1.
:- use_module(library(dcg/basics)).
[det]string_without(+EndCodes,
-Codes)//
...,
string_without("\n", RestOfLine)
| EndCodes | is a list of character codes. |