Oh, and btw, I'm not a student... I'm learning prolog out of interest. I just realised how my question could be construed as a homework question (if anyone actually *does* study prolog in school?).
I need to create an inference engine to use a paint knowledge base.
Precendences are:
:-op(900,xfx,::).
:-op(860,xfx,==>).
:-op(800,fx,rule).
:-op(760,xfy,and).
:-op(720,fx,type).
:-op(720,fx,finish).
:-op(720,fx,size).
:-op(720,fx,colour).
:-op(720,fx,name).
Rules are in the form of:
rule 1...
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.