yes! so many times I reach for Prolog because it's a perfect fit for a problem. like modeling constraints, or generating a plan, or working out a type system. i

yes! so many times I reach for Prolog because it's a perfect fit for a problem. like modeling constraints, or generating a plan, or working out a type system. it's relatively easy to switch between functional and imperative styles, but replacing Prolog requires writing heavy algorithms.