🚀 go-pugleaf

See what you can do in BIMprolog:

back_retract((_h :- _b)) :-
		clause(_h,_b,_n) ,
		functor(_h,_f,_a) , functor(_nh,_f,_a) ,
		clause(_nh,_nb,_n) ,
		(retract((_h :- _b),_n) ;
		 assert((_nh :- _nb),_n) , fail ) .

clause/3 has as 3th argument the number of the clause:

	ex.  database =   a(x) .
			  a(y) .
			  a(z) .

		then  ?- clause(a(y),true,2) . succeeds
		and   ?- clause(a(X),true,3) . says:
			X = z
		and   ?- clause(a(x),true,N) . says:
			N = 1

the second argument in retract/2 has a similar meaning ;
in a call to assert/2, the 2nd arg must be instantiated and the clause is
asserted at the arg2'th place in the database; in this way, asserta/1 is just
a special case of assert/2, with definition:

	asserta(_x) :- assert(_x,1) .

so the query ?- assert(a(foo),3) . on the above database has as effect that the
database will look afterwards like:

                          a(x) .
                          a(y) .
                          a(foo) .
                          a(z) .

But there should be a better way of doing what you want.