Reference

Information-oriented descriptions of 2PPy: what is there, and exactly how it behaves. Pages here are for looking things up; for learning, start from the tutorials, and for the ideas behind the design, see the explanation pages.

• Package map: what each tuprolog package is for, and its main names.
• Python–term conversions: how Python values become logic terms and back, and where 2PPy converts them automatically.
• Exceptions: the Python exception classes of 2P-Kt's errors, and the ISO Prolog error terms they correspond to.
• Standard predicates: the built-in predicates and arithmetic functions every Prolog solver offers.
• IOLib: the predicates of the stream and I/O library.
• OOPLib: the syntax and predicates letting Prolog code use Python objects.
• API reference: every module, class and function, generated from the docstrings.

2PPy wraps 2P-Kt: its own reference and API documentation describe the JVM types 2PPy exposes, in Kotlin terms.