Prolog getting head and tail of string

by

SWI-Prolog has several different representation of what you might call “strings”.

  • List of character codes (Unicode);
  • List of chars (one-letter atoms);
  • Strings, which are “atomic” objects, and can be manipulated only with the built-in predicates for strings;
  • And finally, of course, atoms.

You should read the documentation, but for now, you have at least two choices.

Choice 1: Use a flag to make double-quoted strings code lists

$ swipl --traditional
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.19-57-g9d8aa27)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- X = "abc".
X = [97, 98, 99].

At this point, your approach should work, as you now have a list.

Choice 2: Use the new code list syntax with back-ticks

?- X = `abc`.
X = [97, 98, 99].

And, of course, there are predicates that convert between atoms, code lists, char lists, and strings. So, to make a list of chars (one-character atoms), you have:

  • atom_chars/2
  • char_code/2
  • string_chars/2

As for your predicate definition, consider using unification in the head. Also, don’t mix side effects (printing) with what the predicate does. Let the top level (the Prolog interpreter) do the printing for you.

nato(p, 'Papa').
nato(i, 'India').
nato(e, 'Echo').
% and so on

word_nato([], []).
word_nato([C|Cs], [N|Ns]) :-
    char_code(Char, C),
    char_type(U, to_lower(Char)),
    nato(U, N),
    word_nato(Cs, Ns).

And with this:

?- word_nato(`Pie`, Nato).
Nato = ['Papa', 'India', 'Echo'].

I used chars (one-letter atoms) instead of character codes because those are easier to write.

And finally, you can use the following flag, and set_prolog_flag/2 at run time to change how Prolog treats a string enclosed in double quotes.

For example:

$ swipl
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.19-40-g2bcbced)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- current_prolog_flag(double_quotes, DQs).
DQs = string.

?- string("foo").
true.

?- set_prolog_flag(double_quotes, codes).
true.

?- X = "foo".
X = [102, 111, 111].

?- set_prolog_flag(double_quotes, chars).
true.

?- X = "foo".
X = [f, o, o].

?- set_prolog_flag(double_quotes, atom).
true.

?- X = "foo".
X = foo.

More Related Contents:

  1. Using on a List doesn’t update model values
  2. Flatten a list in Prolog
  3. Get elements from list of lists
  4. How can I sort a list of strings in Dart?
  5. Recursive Prolog predicate for reverse / palindrome
  6. Unable to use convert strings into integers for a for loop
  7. How do I concatenate items in a list to a single string?
  8. Split a string by a delimiter in python
  9. Generate list of all possible permutations of a string
  10. How do I check if there are duplicates in a flat list?
  11. In Bash, how can I check if a string begins with some value?
  12. Making a string concatenation operator in R
  13. How to test if string exists in file with Bash?
  14. Replacing some characters in a string with another character
  15. Bash: Split string into character array
  16. Reading a file line by line in Go
  17. How to return a string value from a Bash function
  18. How can I convert each item in the list to string, for the purpose of joining them? [duplicate]
  19. Replacing characters in Ant property
  20. How do I concatenate strings in Swift?
  21. Read a file line by line in Prolog
  22. []byte(string) vs []byte(*string)
  23. Replace empty strings with null values
  24. convert a string which is a list into a proper list python
  25. Ignore escape characters (backslashes) in R strings
  26. split string in python to get one value?
  27. What is the difference between “…” and x”…” in an IF condition in a Windows batch file?
  28. Prolog find all paths Implementation
  29. How to index a String in Rust
  30. Does conversion between alias types in Go create copies?

Leave a Comment