add wikiped links to prolog and logic programming