ยง Resolution and first order logic (WIP)