Ostatnia z naszych trzech rodzin systemów logicznych i jedyna, która działa w przypadku dowolnej bazy wiedzy, a nie tylko określonych klauzul, to rozdzielczość. widzieliśmy, że rozwiązywanie zdań jest kompletną procedurą wnioskowania dla logiki zdań; w tej sekcji rozszerzymy to na logikę pierwszego rzędu.