From 450909ba1a4be1193e27e05f76e4350990afc7ab Mon Sep 17 00:00:00 2001 From: Kaiwen He Date: Sat, 1 Jun 2024 11:47:03 -0500 Subject: [PATCH] added AT and KL to mvp1 creative edges --- medikanren2/neo/neo-server/neo-server.rkt | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/medikanren2/neo/neo-server/neo-server.rkt b/medikanren2/neo/neo-server/neo-server.rkt index 610dd997..5fc4bb6c 100644 --- a/medikanren2/neo/neo-server/neo-server.rkt +++ b/medikanren2/neo/neo-server/neo-server.rkt @@ -29,7 +29,7 @@ (define DEFAULT_PORT 8384) -(define NEO_SERVER_VERSION "1.45") +(define NEO_SERVER_VERSION "1.46") ;; Maximum number of results to be returned from *each individual* KP, ;; or from mediKanren itself. @@ -1459,8 +1459,7 @@ (list (auxiliary-graph-attribute aux-id) agent-type-attribute - knowledge-level-attribute - ) + knowledge-level-attribute) 'object obj 'predicate pred 'subject sub @@ -1478,7 +1477,9 @@ (hash-set! edges (string->symbol id) (hash 'attributes (list - (auxiliary-graph-attribute aux-id)) + (auxiliary-graph-attribute aux-id) + agent-type-attribute + knowledge-level-attribute) 'object obj 'predicate pred 'subject sub