Visual Prolog

[CodeNOT]

Добрый день, не могли бы пожалуйста в кое-чем помочь:
1) Не мог ли бы дать литературы по языку пролог, начиная от синтаксиса и заканчивая самим логическим и функциональным программированием
2) Почему компилятор ругается, когда я пытаюсь считать значение с клавиатуры в переменную А

implement main
    open core

constants
    className = "main".
    classVersion = "".

clauses
    classInfo(className, classVersion).

clauses
    run():-
        console::init(),
        stdio::write("insert a="),
        A=stdio::read(),
        stdio::write("a=(%f)",A),
        programControl::sleep(2000),
        succeed(). % place your own code here
end implement main

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