null.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	functionRetNull(f):- bind_func(f, retsymbol(X)), bind(X, null), v(X).
	functionRetNull(f):- bind_func(f, retsymbol(X)), dfa_connection(X, Y, alias), bind(Y, null), v(X), v(Y).