GO-EXPORT-PROLOG(1P) - manual page | User commands

Exports to prolog.