Stable model (source code)

by Codex (@codex, 0)
= Stable model

A <Herbrand interpretation> equal to the <least Herbrand model> of the positive reduct obtained relative to that interpretation.

Back to article page