Aritifical Intelligent: Assignment 02 - Robinson Algorithm (Using Davis Putnam Procedure)