error adding claim while running visa example
- Consulate running in server mode
- Adding claim in requester (
-add-claim "getVisa(V)"
)
Requester logs:
=> valid input query: getVisa(V)
=> number of matching applicable workflows: 1
=> found a Datalog workflow
=> entity ID: requester
---------------------------
=> entity ID: requester
---------------------------
=> goal being resolved: getVisa(V)
---------------------------
=> goal being resolved: getVisa(V)
-> no matching facts
-> rule: getVisa(Visa) :- getRequesterInfo(Passport, Docs), issueVisa(Passport, Docs, Visa)
bindings: {Visa=V}
rule after substitution : attests [getVisa(V) :- getRequesterInfo(Passport, Docs), issueVisa(Passport, Docs, V)]
=> goal successfully resolved
=> goal being back-chained: getRequesterInfo(Passport, Docs)
=> Authority:
---------------------------
=> entity ID: requester
---------------------------
=> goal being resolved: getRequesterInfo(Passport, Docs)
---------------------------
=> goal being resolved: getRequesterInfo(Passport, Docs)
-> no matching facts
-> no matching rules
=> [warning] claim addition not successful
=> goal successfully resolved
=> goal being back-chained: issueVisa(am12312, mydocs, V)
=> Authority:
---------------------------
=> entity ID: requester
---------------------------
=> goal being resolved: issueVisa(am12312, mydocs, V)
---------------------------
=> goal being resolved: issueVisa(am12312, mydocs, V)
-> no matching facts
-> no matching rules
=> number of matching applicable workflows: 0
=> no matching applicable workflow
-> no local service found matching the query
-> processing as a remote service
-> server spec
==> name: consulate [IP : 127.0.1.1 port : 4050]
--> services: [issueVisa, valid, prepareVisa]
-> arg1 : am12312
-> THIS IS A GROUND TERM
-> arg2 : mydocs
-> THIS IS A GROUND TERM
-> arg3 : V
-> THIS IS A VAR TERM
-> service invocation args sent successfully
error: problem while sending service to remote server
-> no matching service
=> query processing not successful
=> [warning] claim addition not successful
-> no matching external tools
=> no facts, no rules, and no services supporting goal predicate
[datalog engine backtracks]
=> query processing not successful (workflow: wfRequester)
=> no matching applicable workflow
-> no local service found matching the query
-> no matching service
=> query processing not successful
=> [warning] claim addition not successful
Consulate logs
entity: consulate -- [IP: 127.0.1.1, port: 4050]
==> local repo path : /home/kalogeropoulos/Projects/Evidentia/visa/consulate/consulate-workspace
==> number of claims: 0
==> number of workflows: 1
==> [workflow : wfConsulate]
--> scriptPath: /home/kalogeropoulos/Projects/Evidentia/visa/consulate/consulate-workspace/wfConsulate.txt
--> queries: [<issueVisa/3, [string, string, string], ++->]
==> number of local services: 2
==> [service : valid]
--> signature: [string, string]
--> modes: [++]
==> [service : prepareVisa]
--> signature: [string, string]
--> modes: [+-]
==> number of servers: 1
==> name: bank [IP : 127.0.1.1 port : 4060]
--> services: [getBankStatement]
waiting for a client ...
connected to client : 127.0.0.1
=> request received for service execution
-> serviceName : issueVisa
-> serviceInvMode : ++-
serviceArgType : string
serviceArgType : string
serviceArgType : VAR
-> serviceArgs : [am12312, mydocs, V]
-> serviceSign : 111
=> number of matching applicable workflows: 1
=> found a Datalog workflow
=> entity ID: consulate
---------------------------
=> entity ID: consulate
---------------------------
=> goal being resolved: issueVisa()
---------------------------
=> goal being resolved: issueVisa()
-> no matching facts
-> rule: issueVisa(Passport, Docs, Visa) :- validateDocs(Passport, Docs), prepareVisa(Passport, Visa)
[WARNING]
java.lang.IndexOutOfBoundsException: Index 0 out of bounds for length 0
at jdk.internal.util.Preconditions.outOfBounds (Preconditions.java:64)
at jdk.internal.util.Preconditions.outOfBoundsCheckIndex (Preconditions.java:70)
at jdk.internal.util.Preconditions.checkIndex (Preconditions.java:248)
at java.util.Objects.checkIndex (Objects.java:372)
at java.util.ArrayList.get (ArrayList.java:459)
at evidentia.etbDL.utils.Expr.unify2 (Expr.java:316)
at evidentia.etbDL.DatalogEngine.resolveRules (DatalogEngine.java:125)
at evidentia.etbDL.DatalogEngine.resolveGoal (DatalogEngine.java:170)
at evidentia.etbDL.DatalogEngine.resolve (DatalogEngine.java:195)
at evidentia.etbDL.DatalogEngine.run (DatalogEngine.java:253)
at evidentia.etbCS.utils.claimsPack.runQuery (claimsPack.java:186)
at evidentia.etbCS.utils.claimsPack.add (claimsPack.java:155)
at evidentia.etbCS.serverMode.run (serverMode.java:66)
at evidentia.Entity.run (Entity.java:368)
at evidentia.Evidentia.run (Evidentia.java:129)
at evidentia.Evidentia.main (Evidentia.java:284)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
at jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke (Method.java:566)
at org.codehaus.mojo.exec.ExecJavaMojo$1.run (ExecJavaMojo.java:282)
at java.lang.Thread.run (Thread.java:834)