Title: A broader interpretation of logic in logic programming