Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K.