Есть программа:
implement main
    open core
domains
    brand=symbol.
    mileage=symbol.
    age= symbol.
    color=symbol.
    price=symbol.

      class    predicates
    car:(brand,mileage,age,color,price).

    clauses
        car("dodge","120000","5","black","5000").
        car("ford","130000","6","yellow","7000").
        car("bmw","100000","4","red","10000").

          run():-
        console::init(), car("bmw",ma,na,nc,np),
         succeed() .% place your own code here

end implement main

goal
    mainExe::run(main::run).

Мне нужно чтобы она выдавала по запросу например по марке "bmw" или по какому либо еще условию ответ в режиме консоли.
Но постоянно пишет какую-то ошибку и я никак не могу разобраться в чем ошибка. В таком коде пишет что не декларированные переменные ma,na,nc,np. Как мне исправить программу чтобы она стала рабочей? Как в Visual Prolog задается обычный вопрос?есть несколько книг но там видимо много неточностей.

Добавлю еще вопрос: Почему в Visual Prolog нет такой конструкции как ?-(аргументы) как пишут в книге например 
Программирование на языке Prolog (Клоксин, Меллиш)?
Или что заменяет эту конструкцию в Visual Prolog?

Я пробовал варианты в полях mileage,age,price вместо symbol integer но все равно ошибка не пропадает.


Это сообщение отредактировал(а) RobertKazan - 19.3.2015, 21:13