கட்டுப்பாடு constructs மற்றும் ஒரு வரையறுக்கப்பட்ட கொண்டிருக்கின்றது கால்குலஸ்; நிரல்கள் எக்ஸ்பிரஸ் பயன்படுத்தப்படும் நிரலாக்க மொழி உதாரணமாக, PROLOG.