definite clause

See Horn clause.