Markov Logic Networks are first-order logic formulas with weights, and the core of the syntax of input files used with Alchemy are based on just that, first-order logic. Alchemy also provides various extensions to this syntax and provides a mechanism for computing linked-in and internally implemented predicates and functions. These topics are discussed in the following sections.