-
Updated
Oct 13, 2019 - CSS
logic
Here are 594 public repositories matching this topic...
-
Updated
Jun 20, 2020 - Java
I didn't see a board or community to ask such things, so I'll mention it here: there doesn't seem to be a guide specifically for more in depth commands in console window.
Is this something that's planned?
I'm loving the rest of the software, and will help me visualize.
-
Updated
Oct 5, 2019
There are a bunch of links to the theory of NARs in the readme that link to a google site that is gone:
All links starting with: https://sites.google.com/site/narswang/
As an example, we should unparse:
(lambda [x A]
(lambda [y A]
(lambda [z A]
e)))as:
(lambda [x y z A] e)(that kind of shortcut presentation is the whole purpose of the unparser)
-
Updated
Apr 12, 2020
Consider changing warnings "found topics with non-existent parents"
into errors, just as we already treat broken links as errors. A
simple fix might be to replace the following code in the definition of
function save-json-files, in file books/xdoc/save-fancy.lisp.
(or (not orphans)
(cw "~|~%WARNING: found topics with non-existent parents:~%~x0~%These ~
Documentation style
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”)
-
Updated
Jan 27, 2019 - Lua
-
Updated
Jun 12, 2019
-
Updated
Oct 3, 2018 - Python
-
Updated
Mar 1, 2020 - Scala
-
Updated
Jun 4, 2020 - Prolog
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
-
Updated
Sep 16, 2018 - Python
-
Updated
Sep 19, 2017 - JavaScript
-
Updated
May 30, 2017
-
Updated
May 12, 2019 - JavaScript
-
Updated
Jun 21, 2020 - OCaml
-
Updated
Oct 26, 2019
-
Updated
Jan 13, 2020 - OCaml
Improve this page
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."
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: