Skip to content
#

logic

Here are 594 public repositories matching this topic...

neomatrix369
neomatrix369 commented Jan 30, 2020

Problem to Solve

At the moment Grakn user of the Docker container may not know how to capture logs from inside a running docker container - especially important when the run has failed.

Current Workaround

There may not be a clean one, but in a case, we could log into the docker container:

$ docker exec -it [container id] /bin/bash
$ cd /path/to/logs
$ [some how upload via 
numberZero
numberZero commented Dec 21, 2018

Missing things:

  • <p> tags to delimit paragraphs
  • Proper quotes “” and apostrophe (instead of inch " and feet ' symbols)
  • <code> tags around strings like node names
  • Links between related items (impossible with the current overscripted website structure)
  • Non-breaking spaces, where appropriate (e.g. after “a”)
flyingsilverfin
flyingsilverfin commented Apr 16, 2019

Right now, we restrict grammar to disallow statements such as match $x; get. When building with graql, this is still allowed (Graql.match(var("x")).get()) when it should not be.

Further restrictions are currently built into Grakn's match clause validation at runtime, but not checked elsewhere - such as match $x != $y; get; which does a n^2 scan of the database. We could push this into Gra

Improve this page

Add a description, image, and links to the logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.