definite clause
See
Horn clause
.