Shumilog - a partial Prolog implementation