Followed instructions from https://dev.grakn.ai/docs/general/quickstart and immediatly reached these errors :

grakn-core-all-windows-1.7.1>grakn.bat console --keyspace social_network --file ./schema.gql

22:08:17,078 |-INFO in ch.qos.logback.classic.LoggerContext[default] - Could NOT find resource [logback-test.xml]
22:08:17,078 |-INFO in ch.qos.logback.classic.LoggerContext[default] - Could

As a new Crux user, I've spent a lot of time reading and re-reading the docs. The following are some suggestions for improvements to the documentation that I believe will make Crux more easily understood by new users.

1. An overview of the high-level programming concepts from an API point of view. The current documentation spends time discussing bi-temporality, which is great, but doesn't discu

I am using Souffle and I wonder if it supports "importing" one .dl file inside another one so I can share code between different ".dl" files?

I've read the help message on "-L" and "-I", but they seem not related to the problem I had.

Thanks in advance!

At some point we should probably upgrade the argument parser to use nom version 5. They got rid of most of the macro magic. I am not familiar with nom (although interested), but there is an upgrade guide that should hopefully make the transition a bit more smooth: https://github.com/Geal/nom/blob/master/doc/upgrading_to_nom_5.md

An inspect stage logging either actual tuples or number of tuples flowing through a given plan stage.

I was researching on the various tools for Ethereum smart contract security and came across Securify. I read through in this document that Securify detects 18 critical vulnerabilities in Ethereum smart contracts. Can someone kindly consider my humble request fo

consider the use-case:

t(Urn,L) :- f(Urn, "urn:rdfs:label", L), L = "Lomonosov Russia".

predicate f bind second variable to "urn:refs:label" but variable name unknown. The parser builds

#{t => [[urn,l],
   #{'@' => f,
     '_' => [urn,<<"urn:rdfs:label">>,l],
     l => <<"Lomonosov Russia">>}]}

The native query builder shall be aware of [urn,<<"urn:rdfs:label">>,l] mappin