IDP-Z3
latest
Contents:
Introduction
The FO[
·
] Language
IDP-Z3
Interactive Consultant
Explanations
Appendix: IDP-Z3 internal reference
Architecture
idp_engine
module
idp_web_server
module
idp_web_server.Inferences
idp_web_server.IO
idp_web_server.rest
idp_web_server.State
Appendix: Syntax summary
Index
IDP-Z3
»
Appendix: IDP-Z3 internal reference
»
idp_web_server
module
Edit on GitLab
idp_web_server
module
ΒΆ
Contents:
idp_web_server.Inferences
idp_web_server.IO
idp_web_server.rest
idp_web_server.State
Read the Docs
v: latest
Versions
latest
stable
0.10.8
0.10.7
0.10.6
0.10.5
0.10.4
0.10.3
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