Differences from the Monash Interpreter

 

Here we only list those facilities from the Monash interpreter that are not supported.

• The issue of string handling has not yet been settled.
• Predicate definitions cannot be indiscriminately spread over a number of files.
• There is no automatic variable generation for answer projection; there is no dump/0 predicate.
• Goals result in a prompt for alternate solutions whenever there is a choice point, regardless of whether there are variables in the goal.
• No profiling; the predicates prof/0 and noprof/0 are not available.
• Sytem warnings are controlled differently using warning/1.
• Linear inequalities are always decided immediately rather than delayed; the predicates ineq/0 and noineq/0 are not available.
• Statistics are now available through special system predicates, so the stats/0 system predicate, while may exist, is not supported.
• There is no is/2 predicate.