I’m reading this article and I want to distinguish facts and structures. Is structure a “subtype” of a fact?
% example:
employee(2, personalDetails(gopi, battu), projectDetails(dataExtractor, 23)).
I’m reading this article and I want to distinguish facts and structures. Is structure a “subtype” of a fact?
% example:
employee(2, personalDetails(gopi, battu), projectDetails(dataExtractor, 23)).
No.
Structures, AKA compound terms, are in more than just facts so they are not unique to facts and why I say no.
While this is more in depth, it is accurate.
If you want to learn Prolog then I would suggest learning it from those with years of experience in Prolog and who have written a well noted book that is also online.
Also see Useful Prolog references