7 lines
193 B
Prolog
7 lines
193 B
Prolog
?- substring_task("abcdefghijk", 2, 4, "d", "ef").
|
|
from n to m :cdef
|
|
from n to end :cdefghijk
|
|
string minus last char :abcdefghij
|
|
form known char to m :defg
|
|
from known substring to m :efgh
|
|
true
|