Ejemplo n.º 1
0
        static void testPrologBuiltins()
        {
            string r = prologEngine.ourEval("2+4;");

            prologEngine.connectMT("baseKB", "stdlib");
            prologEngine.connectMT("sense1MT", "baseKB");
            prologEngine.connectMT("spindleMT", "sense1MT");
            prologEngine.askQuery("add(12,34,ADD_ANS)", "spindleMT");
            prologEngine.askQuery("sub(12,34,SUB_ANS)", "spindleMT");
            prologEngine.askQuery("mul(12,34,MUL_ANS)", "spindleMT");
            prologEngine.askQuery("div(12,34,DIV_ANS)", "spindleMT");
        }