3 ms·

Declarative programming languages based on formal logic. Have a look at the Prolog programming language to get an idea.

• juliend2 7y ago
  I agree. Prolog seem pretty good for tersely writing predicates in a natural/human way.