Directing and Configuring the Compiler¶

The YAP system also includes a number of primitives designed to set compiler parameters and to track the state of the compiler.

• Declaring Properties of Predicates

• YAP Style Checker

• Internal Clause Rewriting

One important example is the number of directivees that allow setting up properties of predicates. It is also possible to enable or disable waraanings about possible issues with the code in the program, sich as the occurrence .

This section presents a set of built-ins predicates designed to set the environment for the compiler.

• make/0
• prolog_load_context/3
• source_file_property/3
• source_file/3
• source_file/1
• prolog_to_os_filename/2