← Back to context

Comment by HelloNurse

2 days ago

Typically, what's nicer is the absence of other features that interfere with the important ones.

For example, Prolog isn't a general purpose functional or imperative language: you can assert, retract and query facts in the automatically managed database, risking only incorrect formulas, inefficiencies and non-monotonicity accidents, but not express functions, types, loops, etc. which could have far more general bugs.