feat(logic): introduce logic module bindings

Cargo.toml

@@ -1,5 +1,5 @@
 [workspace]
-members = ["contracts/*"]
+members = ["contracts/*", "packages/*"]
 
 [workspace.dependencies]
 cosmwasm-schema = "1.2.1"

packages/logic-bindings/Cargo.toml

@@ -0,0 +1,10 @@
+[package]
+authors = ["OKP4"]
+edition = "2021"
+name = "logic-bindings"
+version = "0.2.0"
+
+[dependencies]
+cosmwasm-std.workspace = true
+schemars.workspace = true
+serde.workspace = true

packages/logic-bindings/README.md

@@ -0,0 +1,3 @@
+# CW Logic Sample
+
+Sample contract to query the okp4 logic module.

packages/logic-bindings/src/lib.rs

@@ -0,0 +1,3 @@
+mod query;
+
+pub use query::{LogicCustomQuery, AskResponse, Answer, Result, Substitution, Term};

packages/logic-bindings/src/query.rs

@@ -0,0 +1,51 @@
+use cosmwasm_std::CustomQuery;
+use serde::{Deserialize, Serialize};
+use schemars::JsonSchema;
+
+#[derive(Serialize, Deserialize, Clone, PartialEq, JsonSchema, Debug)]
+#[serde(rename_all = "snake_case")]
+pub enum LogicCustomQuery {
+    Ask {
+        program: String,
+        query: String,
+    },
+}
+
+impl CustomQuery for LogicCustomQuery {}
+
+#[derive(Serialize, Deserialize, Default, Clone, PartialEq, Eq, JsonSchema, Debug)]
+#[serde(rename_all = "snake_case")]
+pub struct AskResponse {
+    pub height: u64,
+    pub gas_used: u64,
+    pub answer: Option<Answer>,
+}
+
+#[derive(Serialize, Deserialize, Default, Clone, PartialEq, Eq, JsonSchema, Debug)]
+#[serde(rename_all = "snake_case")]
+pub struct Answer {
+	pub success: bool,
+	pub has_more: bool,
+	pub variables: Vec<String>,
+	pub results: Vec<Result>,
+}
+
+#[derive(Serialize, Deserialize, Default, Clone, PartialEq, Eq, JsonSchema, Debug)]
+#[serde(rename_all = "snake_case")]
+pub struct Result {
+    pub substitutions: Vec<Substitution>,
+}
+
+#[derive(Serialize, Deserialize, Default, Clone, PartialEq, Eq, JsonSchema, Debug)]
+#[serde(rename_all = "snake_case")]
+pub struct Substitution {
+    pub variable: String,
+    pub term: Term,
+}
+
+#[derive(Serialize, Deserialize, Default, Clone, PartialEq, Eq, JsonSchema, Debug)]
+#[serde(rename_all = "snake_case")]
+pub struct Term {
+    pub name: String,
+    pub arguments: Vec<Term>,
+}