An Environment for Logic ProgrammingNissim FrancezShalom Goldenberget al.1985ACM SIGPLAN NoticesPaper