Logic Based Ai