selected publications academic article Flat Concurrent Prolog on transputers. Journal of Microcomputer Applications. 13:3-18. 1990