Developing a portable parallelizing Pascal compiler in Prolog