Similar to 充足可能性問題

Finite-state machine

Unification (computer science)

Lambda calculus

Loop invariant

Logic programming

Safety-critical system