Inference Engine

[schattenjager]

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 :: type outside and colour yellow and size medium and finish gloss ==> name taubmans_outdoor_gloss.

I need to add a dynamic menu system that lets me add different types of paint later on, without having to recode the menu system

My knowledge of prolog is limited, so any help I can get on this would be greatly appreciated

-Drachen

 

[schattenjager]

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?).