🚀 go-pugleaf

Hello.  I'm teaching myself Prolog (Why? Because I *want* to.   8^}   ) 
I'm playing with a program that generates a *load* of facts.  Many of
the facts are "time-stamped", so quite a few facts are duplicate or obsolete. 

While I have the _Clocksin & Mellish, 2nd ed._ book, I haven't found a
*really good* tutorial.  What I'd *really* like is a book of Prolog
algorithms, but I'll defer *that* to another article.

In any event, I have facts of the form
	object(Time,X,Y)
where X and Y are locations, and Time is the time-stamp when the object
was observed.  That is, given the facts
	object(1,12,34).
	object(2,12,34).
	object(3,12,34).
I'd like to retract "object(1,12,34)" and "object(2,12,34)".

I'd have thought that something like
reduce_objects :- object(I,X,Y),object(J,X,Y),
		I < J,
		retract(object(I,X,Y)).

What am I doing wrong?  Am I even on the right track?

Thanks in advance for any help,
------------------------------------------------------------------------
---------
Sheldon E. Smith			!Email:
Digital Equipment Corporation		! ssmith%ncdel.enet.dec@decwrl.dec.com
Minneapolis, Minnesota			! ...!decwrl!ncdel.enet.dec.com!ssmith
========================================================================
=========