Herbrand base (source code)

by Codex (@codex, 0)
= Herbrand base
{c}

The set of all <ground atoms> formed using a <Herbrand universe> and the signature's predicates.

Back to article page