linkPublish DateNumberreflectionabstractLLMS describe logical rules and its inference is equivalent to resolution over those logical rules.StatusIn progressTypeAuthor