Object-oriented and logic-programming paradigms are shown to be incompatible as component-based models of computation. This “impossibility result,” based on a new notion of observability of interactions among components, suggests that combining objectoriented with logic programming is not merely hard but impossible. It implies the more general incompatibility of reasoning and modeling and the i...
