Although the kernel of the system works only with clausal normal forms, the preprocessor component accepts a problem in the full first-order logic syntax, clausifies it and performs a number of useful transformations before passing the result to the kernel.

Meanwhile, macro systems, such as the C preprocessor described earlier, that work at the level of lexical tokens cannot preserve the lexical structure reliably.

GNU m4 is an implementation of the m4 macro preprocessor.

The amount and kind of processing done depends on the nature of the preprocessor ; some preprocessors are only capable of performing relatively simple textual substitutions and macro expansions, while others have the power of full-fledged programming languages.

The C preprocessor or cpp is the macro preprocessor for the C and C ++ computer programming languages.

The preprocessor provides the ability for the inclusion of header files, macro expansions, conditional compilation, and line control.

A macro processor ( or a preprocessor ) operates as a text-replacement tool.

* free-form syntax ( not line-based like a typical macro preprocessor designed for assembly-language processing )

A variadic macro is a feature of some computer programming languages, especially the C preprocessor, whereby a macro may be declared to accept a varying number of arguments.

In C and C ++, the language supports a simple macro preprocessor.

The typical exceptions are macro definitions, preprocessor commands, and declarations, which expression-oriented languages often treat as statements rather than expressions.

A macro processor, such as the C preprocessor, which replaces patterns in source code according to relatively simple rules, is a simple form of source code generator.

This preprocessor takes the description of the semantics of a language ( i. e. an interpreter ) and, by combining compile-time interpretation and code generation, turns that definition into a compiler to the OCaml programming language — and from that language, either to bytecode or to native code.

A preprocessor is used to substitute arbitrary hierarchies, or rather " interconnected ' webs ' of macros ", to produce the compilable source code with one command (" tangle "), and documentation with another (" weave ").

The preprocessor also provides an ability to write out the content of the macros and to add to already created macros in any place in the text of the literate program source file, thereby disposing of the need to keep in mind the restrictions imposed by traditional programming languages or to interrupt the flow of thought.

Embedded SQL is a technique that simplifies the development of C / C ++ and COBOL Firebird applications, by using a preprocessor called gpre, which allows to embed SQL statements directly into the source code of the host language.

The originating machine invokes a preprocessor to handle header files, preprocessing directives ( such as ) and the source files and sends the preprocessed source to other machines over the network via TCP either unencrypted or using SSH.

Macros in the PL / I language are written in a subset of PL / I itself: the compiler executes " preprocessor statements " at compilation time, and the output of this execution forms part of the code that is compiled.

The preprocessor did not understand all of the language and much of the code was written via translations.

One way to handle this is write conditional code, with code blocks selected by means of preprocessor directives (); but because of the wide variety of build environments this approach quickly becomes unmanageable.

One way to handle this is write conditional code, with code blocks selected by means of preprocessor directives (); but because of the wide variety of build environments this approach quickly becomes unmanageable.

Because of this, MediaWiki, for example, has had to introduce its own < code >< nowiki ></ nowiki ></ code > tag for citing references in notes, an idea which has since also been implemented for generic use by the Nelson HTML preprocessor.

The section of code that is meant to run in parallel is marked accordingly, with a preprocessor directive that will cause the threads to form before the section is executed.

* To support writing portable code that makes use of LFS where possible, C standard library authors devised mechanisms that, depending on preprocessor constants, transparently redefined the functions to the 64-bit large file aware ones.

A special preprocessor was added to detect Intel 80x86 " CALL " instructions, converting their operands from relative addressing to absolute addressing, thus calls to the same location resulted in repeated strings that the compressor could match, improving compression of 80x86 binary code.

Typically, each preprocessor translates only sections of the input file that are specially marked, passing the rest of the file through unchanged.

* The PIKT piktc text, script, and configuration file preprocessor

One of the most common uses of the preprocessor is to include another file:

Borland supplied a separate program, the trigraph preprocessor, to be used only when trigraph processing is desired ( the rationale was to maximise speed of compilation ).

During 1971 and 1972 B evolved into " New B " and then C, with the preprocessor being added in 1972 and early 1973 at the urging of Alan Snyder.

C ++ started as a preprocessor for C and is currently nearly a superset of C.

It is now possible ( and relatively easy ) to write an entirely portable program in Fortran, even without recourse to a preprocessor.

Many Fortran compilers have integrated subsets of the C preprocessor into their systems.

SIMSCRIPT is an application specific Fortran preprocessor for modeling and simulating large discrete systems.

C preprocessor macros work by simple textual search-and-replace at the token, rather than the character, level.

REBOL / SDK, providing a choice of kernels to bind against, as well as a preprocessor, was released in December 2002.

* eqn preprocessor allows mathematical formulae to be specified in simple and intuitive manner.

* tbl is a preprocessor for formatting tables.

Winning entries are awarded with a category, such as " Worst Abuse of the C preprocessor " or " Most Erratic Behavior ", and then announced on the official IOCCC website.

Due to the nature of the contest, entries often employ strange or unusual tricks, such as using the C preprocessor to do things it was not designed to do, or avoiding commonly-used constructs in the C programming language in favor of much more obscure ways of achieving the same thing.

* C and C ++, via the DBC for C preprocessor, GNU Nana, eCv static analysis tool, or the Digital Mars C ++ compiler, via CTESK extension of C. Loki Library provides a mechanism named ContractChecker that verifies a class follows design by contract.

* Java, via iContract2, Contract4J, jContractor, Jcontract, C4J, Google CodePro Analytix, STclass, Jass preprocessor, OVal with AspectJ, Java Modeling Language ( JML ), Jtest, SpringContracts for the Spring framework, Modern Jass, Custos using AspectJ, JavaDbC using AspectJ, JavaTESK using extension of Java, chex4j using javassist, or Contracts for Java, and the highly customizable java-on-contracts.

ScriptBasic also has an open interface for preprocessor developers.

Currently there is a single preprocessor that delivers debugger functionality.

Slides in HTML format with English narration in RealAudio format are also available to get a jump start learning the architecture and module, preprocessor and embedding developments.

In computer science, a preprocessor is a program that processes its input data to produce output that is used as input to another program.