13 Command Reference Pages

• too-sicstus: sicstus --- SICStus Prolog Development System
• too-spdet: spdet --- Determinacy Checker
• too-spld: spld --- SICStus Prolog Application Builder
• too-splfr: splfr --- SICStus Prolog Foreign Resource Linker
• too-splm: splm --- SICStus Prolog License Manager
• too-spxref: spxref --- Cross Referencer

The reference pages for the SICStus Prolog command line tools follow, in alphabetical order.

sicstus(1)

SICStus Prolog Development System

spdet(1)

Determinacy Checker

spld(1)

SICStus Prolog Application Builder

splfr(1)

SICStus Prolog Foreign Resource Linker

splm(1)

SICStus Prolog License Manager

spxref(1)

Cross Referencer