Press ESC to close

what is predicate logic in ai