Category added

package.json

@@ -3,7 +3,7 @@
     "version": "1.0.0",
     "author": "Michael Hanus <mh@informatik.uni-kiel.de>",
     "synopsis": "Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list",
-    "category": [ "Programming" ],
+    "category": [ "Logic", "Programming" ],
     "dependencies": {
         "base"    : ">= 1.0.0, < 2.0.0",
         "random"  : ">= 0.0.1"