Representing Strings in Prolog
In Prolog, strings are written in double quotes and denote lists of characters. Therefore, we can conveniently reason about strings with built-in mechanisms such as Definite Clause Grammars (DCGs). In fact, Prolog was designed for natural language processing, and Prolog systems should internally represent strings very efficiently to facilitate such use cases.