Prolog Antipatterns: How not to do it
The power of Prolog is rooted in logical properties we guarantee. If we violate these properties, then we can no longer reason logically about our code, and we cannot run it with different execution strategies.
The power of Prolog is rooted in logical properties we guarantee. If we violate these properties, then we can no longer reason logically about our code, and we cannot run it with different execution strategies.