Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ?- A in 1..10, B in 11..20, C #= A + B #<==> A #= B.
- A in 1..10,
- A+B#=_27612,
- B in 11..20,
- _27612 in 12..30,
- C#\=_27612.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement