Expand description
GraphQL API for IPFRS
Provides a modern GraphQL interface for all IPFRS operations
Structs§
- Block
Info - Block information
- Inference
Result - Logic inference result
- KbStats
- Knowledge base statistics
- Mutation
Root - Root mutation type
- Proof
Info - Proof information
- Query
Root - Root query type
- Router
Stats - Router statistics
- Semantic
Search Result - Semantic search result
Functions§
- create_
schema - Create GraphQL schema
Type Aliases§
- Ipfrs
Schema - GraphQL schema type