מיכאל קודיש

Efficient Goal Directed Bottom-up Evaluation of Logic Programs