selected publications academic article POPE — a parallel-operating prolog engine. Future Generation Computer Systems. 1987