IDP-Z3
latest

Contents:

  • Introduction
  • The FO[·] Language
  • IDP-Z3
  • Interactive Consultant
  • Appendix: IDP-Z3 internal reference
  • Appendix: Syntax summary
  • Index
IDP-Z3
  • »
  • Welcome to IDP-Z3’s Reference Manual
  • Edit on GitLab

Welcome to IDP-Z3’s Reference Manual¶

This document describes the IDP-Z3 ecosystem for FO(.). Other learning resources include:

  • IDP-Z3 by example.

  • the FO[.] standard

Feel free to contact us on our Matrix channel if you have any question on this documentation.

Contents:

  • Introduction
    • Installation using poetry
    • Installation using pip
    • Installation of idp_engine module
  • The FO[·] Language
    • Overview
    • Shebang
    • Vocabulary
      • Types
      • Functions
      • Predicates
      • Variable Declarations
      • Built-in functions
      • Propositions and Constants
      • Include another vocabulary
      • Symbol annotations
    • Theory
      • Mathematical expressions and Terms
      • Sentences and axioms
      • Definitions
      • Annotations
    • Structure
    • Differences with IDP3
  • IDP-Z3
    • webIDE
      • Main block
      • idp_engine functions
      • Theory class
    • Command Line Interface
    • Python API
      • IDP class
  • Interactive Consultant
    • Display block
    • Environment & Decision
    • Default Structure
  • Appendix: IDP-Z3 internal reference
    • Architecture
      • Web clients
      • Read The Docs, Homepage
      • IDP-Z3 server
      • IDP-Z3 engine
      • Z3
      • Appendix: Dependencies and Licences
    • idp_engine module
      • idp_engine.Parse
      • idp_engine.Expression
      • idp_engine.Annotate
      • idp_engine.Interpret
      • idp_engine.Simplify
      • idp_engine.Propagate
      • idp_engine.idp_to_Z3
      • idp_engine.Theory
      • idp_engine.Assignments
      • idp_engine.Run
      • idp_engine.utils
    • idp_web_server module
      • idp_web_server.Inferences
      • idp_web_server.IO
      • idp_web_server.rest
      • idp_web_server.State
  • Appendix: Syntax summary
  • Index

Indices and tables¶

  • Index

  • Search Page

Next

© Copyright 2020, Pierre Carbonnelle. Revision 28cbb043.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
stable
0.10.2
0.10.1
0.10.0
0.9.2
0.9.1
0.9.0
0.8.4
0.8.3
0.8.2
0.8.1
0.8.0
0.7.2
0.7.1
0.7.0
0.6.1
0.5.6
0.5.5
0.5.4
0.5.3
Downloads
pdf
On Read the Docs
Project Home
Builds