Title: Implementation of PSL using a fourth generation language