What is the correct usage of SolutionsRoute?
According to my understanding of SolutionsRoute, after this theory POST:
POST /lpaas/theories/a_theory HTTP/1.1
Host: localhost:8080
Content-Type: text/plain
height(tizio, 180).
height(caio, 170).
height(sempronio, 190).
And this goal POST:
POST /lpaas/goals?name=a_goal HTTP/1.1
Host: localhost:8080
Content-Type: text/plain
height(X, H), H > 170
Any client should be able to obtain a solution with this solutions POST:
POST /lpaas/solutions HTTP/1.1
Host: localhost:8080
Content-Type: application/json
{"goals":"/goals/a_goal", "theory":"/theories/a_theory"}
However, I get a 500, with:
org.h2.jdbc.JdbcSQLException: Table "SOLUTION_SET" not found; SQL statement:
SELECT COUNT(name) FROM SOLUTION_SET WHERE (name = ?) [42102-196]
Obviously I am doing something wrong here, but I really can't understand what...
Edited by Daniele Pettinari