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
Tag: Prolog
MacOS – Run SWI Prolog through the terminal MAC
I am trying to run prolog from the terminal. I have installed version 7.2.2 and added it to my environment path using the following command:
PATH=$PATH:/Applications/SWI-Prolog.app/Contents/M
The material material on the prolog is very good.
I am looking for excellent beginner materials for Prolog, whether online or in print. I am not only interested in “learning languages”, but also background and scientific information. View Learn