// ignores case static class StartsWith extends Prolog.BaseNative { *() { super("$x starts with $y"); } boolean yo() { S x = unq("x"), y = unq("y"); ret swic(x, y); } } // ignores case static class EndsWith extends Prolog.BaseNative { *() { super("$x ends with $y"); } boolean yo() { S x = unq("x"), y = unq("y"); ret endsWithIgnoreCase(x, y); } }