unify.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

Created: Thu, Jul 9, 6:24 AM

unify.lp
View Options

	sym(f(a,1,2)). sym(f(a,1,3)). sym(f(b,d)).
	sym((a,1,2)). sym((a,1,3)). sym((b,d)).

	unifyf(X) :- f(a,X,X+1) := F, sym(F).
	unifyt(X) :- (a,X,X+1) := T, sym(T).

Event Timeline