🚀 go-pugleaf

In article <6009@hplabsz.HPL.HP.COM> kirshenb@hplabsz.HPL.HP.COM (Evan Kirshenbaum) writes:
 >   I called ..X a splice (... was equivalent to .._), and it was an
 >   actual object in the sequence (although you couldn't get one outside
 >   of a sequence).  Unifying a sequence that contained splices was
 >   possibly nondeterministic, but was reasonably easy to implement.
 >   Multiple solutions were obtained on backtracking.  This allowed you to
 >   define
 >	   append(Xs,Ys,[..Xs,..Ys]).
 >	   member(X,[...,X,...]).
 >	   last(L,[...,L]).

This is not exactly a novel idea.  In PLANNER [Hewitt circa 67 -- I
think] it was called a segment variable.  The problem with segment
variables is that unification not only may have several solutions, but
occasionally infinitely many of them.  Consider:

	[..X foo] to be unified with [foo ..Y]

The set of unifiers for this example is:

	{ X = Y = [] }
	{ X = Y = [foo] }
	{ X = Y = [foo foo] }
	{ X = Y = [foo foo foo] }
	...

Nonetheless, segment variables are very convenient, and I still use
them in my work.

--Denys