Press ESC to close

what is first order logic in ai