Title: Selected papers of the Second International Conference on Algebraic and Logic Programming, Nancy, France, October 1-3, 1990