Contents

All solutions

Arithmetic

Atomic term processing

Clause manipulation

Flag updates

Input/output

• terms
• characters
• bytes

Logic and control

Stream selection and control

Term comparison

Term creation and decomposition

Term unification

Type tests