Випереджені нормальні форми і логічний висновок у логіці предикатів