Which class of languages typically are implemented via a "computation engine" that attempts to find all solutions that satisfy a specified set of rules?

Choice $1$ of $7$: Dataflow

Choice $2$ of $7$: Functional

Choice $3$ of $7$: Logic$-$based$/$constraint$-$based

Choice $4$ of $7$: Object$-$oriented

Choice $5$ of $7$: Scripting

Choice $6$ of $7$: von Neumann

Choice $7$ of $7$: None of the above