Manuel Weindorf wrote: > > so the follwing question answered yes (as expected) > > ?- phrase( digit, ['1'], [] ) > > Now I updated to Eclipse 5.2 and the same question answeres > > ?- phrase(ziffer, ['1'], []). > More (0.00s cpu) > No (0.02s cpu) > > How is that possible ? It is a feature, and it is not related to DCGs :-) The behaviour of your program hasn't changed, just the results are displayed differently. The 'More' answer generally means 'Yes, and there may be more solutions'. The system prints 'More' instead of 'Yes' when it cannot determine that the solution is the last one (in more technical terms: when the goal has left a choice point). Apart from this additional piece of information, 'Yes' and 'More' are completely equivalent. In versions before 5.2 the 'More' was suppressed in the special case that the goal contained no variables (as in your example). If you add some variable, the 'More' is printed even in version 5.1: Version 5.1.3, Sat May 12 01:10 2001 [eclipse 2]: phrase( digit, ['1'], [] ). yes. [eclipse 3]: phrase( digit, ['1'], [] ), X = X. X = X More? (;) no (more) solution. In 5.2 we have removed this somewhat confusing rule and now always print 'More' even if there are no variables in the query. For users of tkeclipse: this more-prompt corresponds exactly to the more-button in tkeclipse. An active more-button means there may be more solutions, a grey button means there are none. -- Joachim Schimpf / phone: +44 20 7594 8187 IC-Parc, Imperial College / mailto:J.Schimpf@ic.ac.uk London SW7 2AZ, UK / http://www.icparc.ic.ac.uk/eclipseReceived on Thu Aug 09 12:14:07 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:09 PM GMT GMT