1. Engineering
  2. Computer Science
  3. predicate substringx1 x2 when x1 is quotabcquot and x2 is...

Question: predicate substringx1 x2 when x1 is quotabcquot and x2 is...

Question details

predicate: substring(x1, x2)

when x1 is "abc" and x2 is "helloabcxy" then predicate is true.

can you help me write definition of this predicate? for example) for all x,y ..... x > y ..... etc

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution