News for hackers. Stuff that matters.

A comment on The IDP Knowledge Base System. Parent comment

Re:The IDP Knowledge Base System by pcarbonn on Tuesday November 21, 2023 @06:28AM (#38362241)
Yes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.
[ Parent | on HN ]

There are no comments on this comment yet.