I am curious as to whether constants are supported in programs. I haven't been able to find any examples of it. For example, let's say that if I have a relation link(A,B), I am expecting A to have type "constant": has_type(A,"constant") <= link(A,B)
I am curious as to whether constants are supported in programs. I haven't been able to find any examples of it.
For example, let's say that if I have a relation link(A,B), I am expecting A to have type "constant":
has_type(A,"constant") <= link(A,B)