Syntax differences

  The list below describes the syntax differences between ECLiPSe and Quintus Prolog. The following properties of Quintus Prolog are simulated by the compatibility package:

• A blank is not allowed between the functor and the opening bracket.
• single (resp. double) quote must be doubled between single (resp. double) quote.
• The symbol | (bar) is recognised as an alternative sign for a disjunction and it acts as an operator.
• newline is allowed between quotes.

• the symbol | is not an atom.
• a clause can not be ended by end of file.
• signed numbers: explicitly positive numbers are structures.
• a real with an exponent must have a floating point.
• a space is allowed before the decimal point and the exponent sign.
• the definition of the escape sequence is more extended than in ECLiPSe .
• spy/1 and nospy/1 accept as arguments lists, rather than comma-separated terms like in ECLiPSe .