object
open_ai_catalog
Generated catalog for the public non-admin OpenAI API endpoint surface.
Availability:
logtalk_load(open_ai(loader))Author: Paulo Moura
Version: 1:0:0
Date: 2026-07-09
Compilation flags:
static, context_switching_callsDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
spec_version/1
Returns the pinned OpenAI OpenAPI document version used to generate the catalog.
Compilation flags:
staticTemplate:
spec_version(Version)Mode and number of proofs:
spec_version(-atom) - oneoperation_count/1
Returns the number of public non-admin OpenAI operations in the generated catalog.
Compilation flags:
staticTemplate:
operation_count(Count)Mode and number of proofs:
operation_count(-integer) - oneoperation/8
Enumerates generated OpenAI operation descriptors.
Compilation flags:
staticTemplate:
operation(Id,Tag,Method,Path,Summary,Parameters,RequestBody,Responses)Mode and number of proofs:
operation(?atom,?atom,?atom,?atom,?atom,?list(compound),?compound,?list(compound)) - zero_or_moreoperation_properties/2
Enumerates additional generated OpenAPI properties for an operation.
Compilation flags:
staticTemplate:
operation_properties(Id,Properties)Mode and number of proofs:
operation_properties(?atom,?list(compound)) - zero_or_moreProtected predicates
(none)
Private predicates
(none)
Operators
(none)