An OR parallel logic programming language : its compiler and abstract machine