Combining the Fifth International Conference on Algebraic and Logic Programming (ALP); the Eighth International Symposium on Programming Languages Implementations, Logics, and Programs (PLILP); and the Third International Static Analysis Symposium (SA...