json_prolog_msgs

Summary

json_prolog_msgs
Version:

0.0.5
Description:

Message definitions to talk with the JSON Prolog interface.
Maintainers:
  • Georg Bartels <georg DOT bartels AT cs DOT uni-bremen DOT de>
Licenses:
  • BSD
Authors:
  • Moritz Tenorth <tenorth AT cs DOT uni-bremen DOT de>
BuildDepends:
BuildtoolDepends:
 
BuildExportDepends:
 
ExecDepends:

Types

Service types

json_prolog_msgs/PrologFinish
Field (Request):
 
  • id (string) – 
string id
---
json_prolog_msgs/PrologNextSolution
Field (Request):
 
  • id (string) –
Constant (Response):
 
  • NO_SOLUTION (byte):0 –
  • WRONG_ID (byte):1 –
  • QUERY_FAILED (byte):2 –
  • OK (byte):3 –
Field (Response):
 
  • status (byte) –
  • solution (string) – 
string id
---
byte NO_SOLUTION = 0
byte WRONG_ID = 1
byte QUERY_FAILED = 2
byte OK = 3

byte status
string solution
json_prolog_msgs/PrologQuery
Constant (Request):
 
  • ALL_SOLUTIONS (byte):0 –
  • INCREMENTAL (byte):1 –
Field (Request):
 
  • mode (byte) –
  • id (string) –
  • query (string) –
Field (Response):
 
  • ok (bool) –
  • message (string) –

The following constants, together with the `mode’ slot, allow for configuring how the prolog engine is supposed to generate solutions. ALL_SOLUTIONS indicates that the query should be processed completely immediately. INCREMENTAL indicates that only one solution should be generated at one time whenever the next_solution is called.

# The following constants, together with the `mode' slot, allow for
# configuring how the prolog engine is supposed to generate
# solutions. ALL_SOLUTIONS indicates that the query should be
# processed completely immediately. INCREMENTAL indicates that only
# one solution should be generated at one time whenever the
# next_solution is called.

byte ALL_SOLUTIONS=0
byte INCREMENTAL=1

byte mode
string id
string query
---
bool ok
string message