* main_test.ml: skip prolog unit tests for now