Implementation Technology for Programming Languages based on Logic