[tejask]

One obvious mistake is on Page 2 (pseudo-code).

@Result = @Result | @ClauseResult

But @Result is 0 by default.