Provingly is a software platform to build and run smart applications and agents that provide:
- Symbolic reasoning to compute logical consequences from known facts.
- Intelligent data gathering to identify missing information elements that are necessary to reach a conclusion. Provingly is the ideal intelligent data gathering engine to drive web-based questionnaires or enterprise chatbots.
- Frictionless customer interactions: Provingly minimises the information that is required (questions asked to user) and leverages known facts.
- Situated action engine: Provingly helps you build agents to decide what to do next in a particular situation based on your company's policies and best practices
Luego is the modeling language used to develop Provingly apps.
- functional and type-safe language: it provides effective guardrails against the most common programming mistakes. It makes it easier for non-technical people to model their business problem.
- backward-chaining capabilities: beyond the traditional computation model I => O
- clean and concise syntax, type inference: shortens the path from an idea to its implementation
- explainable results: immutable values, explanation graphs
- efficient runtime: executable code stored in binary format and loading on demand, lazy evaluation
- rich function libraries: powerful predefined functions to work with text, dates, finance, ...
For general information, please visit provingly.io.
Use Cases
- Digital Assistants: aaa
- Dynamic questionnaires: bbb