8 lines
193 B
Prolog
8 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
|