Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • E ETB
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 7
    • Issues 7
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Evidentia
  • ETB
  • Issues
  • #3
Closed
Open
Created Mar 18, 2021 by Anastasios Kalogeropoulos@kalogeropoulosOwner

error adding claim while running visa example

  1. Consulate running in server mode
  2. 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)
Assignee
Assign to
Time tracking