Logic Programming (Prolog, ASP, etc) and GRAKN.AI (a distributed knowledge base)

Re:Logic Programming (Prolog, ASP, etc) and GRAKN.AI (a dist... by NotAUsername on Friday July 07, 2017 @12:11PM (#14719539)

Good point. The declaration is just an extra constraint. It specifies what you can insert not what you have to insert. So in your example you can just insert some of the resources.

[ Parent | on HN ]

Re:Logic Programming (Prolog, ASP, etc) and GRAKN.AI (a dist... by eggy on Saturday July 08, 2017 @05:32AM (#14724773)

Thanks. I didn't realize it wasn't strict about empty fields. More like a form with lots of fields.

[ Parent | on HN ]