symbc.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

Created: Mon, Aug 24, 8:56 AM

symbc.lp
View Options

	sym(1). sym(a). sym(f(a)).
	eq (X,Y) :- X == Y, sym(X), sym(Y).
	neq(X,Y) :- X != Y, sym(X), sym(Y).
	lt (X,Y) :- X < Y, sym(X), sym(Y).
	leq(X,Y) :- X <= Y, sym(X), sym(Y).
	gt (X,Y) :- X > Y, sym(X), sym(Y).
	geq(X,Y) :- X >= Y, sym(X), sym(Y).

Event Timeline