I am trying to define the inheritance check predicate is_a/2 in Prolog, but all my experiments so far have failed.
As long as Y is For the superclass of X, the is_a(X,Y) predicate should retu
I am trying to define the inheritance check predicate is_a/2 in Prolog, but all my experiments so far have failed.
As long as Y is For the superclass of X, the is_a(X,Y) predicate should retu