Miscellaneous

dwim_match2+Atom1, +Atom2 Succeeds if Atom1 matches Atom2 in `Do What I Mean' sense. Both Atom1 and Atom2 may also be integers or floats. The two atoms match if:

dwim_match3+Atom1, +Atom2, -Difference Equivalent to dwim_match2, but unifies Difference with an atom identifying the the difference between Atom1 and Atom2. The return values are (in the same order as above): equal, mismatched_char, inserted_char, transposed_char, separated and transposed_word. wildcard_match2+Pattern, +String Succeeds if String matches the wildcard pattern Pattern. Pattern is very similar the the Unix csh pattern matcher. The patterns are given below:

	Matches one arbitrary character.
	Matches any number of arbitrary characters.
[...]	Matches one of the characters specified between the brackets. char1-char2 indicates a range.
{...}	Matches any of the patterns of the comma separated list between the braces.

Example:

gensym2+Base, -Unique Generate a unique atom from base Base and unify it with Unique. Base should be an atom. The first call will return base1, the next base2, etc. Note that this is no warrant that the atom is unique in the system.I plan to supply a real gensym2 which does give this warrant for future versions.

sleep1+Time Suspend execution Time seconds. Time is either a floating point number or an integer. Granularity is dependent on the system's timer granularity. A negative time causes the timer to return immediately. On most non-realtime operating systems we can only ensure execution is suspended for at least Time seconds.