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