Visual Prolog

Задача 1

С клавиатуры вводятся два целых числа.

Вывести на экран их сумму.

implement main
    open core, console

clauses
    run() :-
        stdio::write("Input A:"),
        nl,
        SA = stdio::readline(),
        stdio::write("Input B:"),
        nl,
        SB = stdio::readline(),
        A = toTerm(SA),
        B = toTerm(SB),
        K = A + B,
        stdio::write("Result: ", K),
        nl,
        _ = readLine().

end implement main

goal
    console::runUtf8(main::run).

Задача 2

С клавиатуры вводятся два целых числа.

Необходимо провести сравнение введённых чисел.

implement main
    open core, console

clauses
    run() :-
        A = toTerm(stdio::readline()),
        B = toTerm(stdio::readline()),
        if A > B then
            stdio::write("A: "),
            stdio::write(A)
        elseif A < B then
            stdio::write("B: "),
            stdio::write(B)
        else
            stdio::write("A: ", A),
            stdio::write(" and "),
            stdio::write("B: ", B)
        end if,
        nl,
        _ = readLine().

end implement main

goal
    console::runUtf8(main::run).

Задача 3

Проверить принадлежность числа определённому отрезку.

Использовать логическое "И".

implement main
    open core, console

clauses

    run() :-
        X = toTerm(stdio::readline()),
        A = 100,
        B = 200,
        if A <= X and X <= B then
            write("YES")
        else
            write("NO")
        end if,
        nl,
        _ = readLine().

end implement main

goal
    console::runUtf8(main::run).

Задача 4

Вывести на экран все целые числа на определённом отрезке.

Найти сумму целых чисел на определённом отрезке.

Использовать циклы и глобальные переменные.

implement main
    open core, console

class facts
    i : integer := 0.
    s : integer := 0.
    a : integer := 0.
    b : integer := 0.
    stop : boolean := false.

clauses
    run() :-
        a := toTerm(stdio::readline()),
        b := toTerm(stdio::readline()),
        stop := false,
        i := a,
        s := 0,
        nl,
        std::repeat(),
            if i <= b then
                s := s + i,
                stdio::write("Number: ", i),
                nl,
                i := i + 1
            else
                stop := true
            end if,
            stop = true,
            !,
        nl,
        stdio::write("Summa: "),
        stdio::write(s),
        nl,
        _ = readLine()
        or
        succeed().

end implement main

goal
    console::runUtf8(main::run).

Задача 5

Дана база фактов.

Необходимо получить всех мальчиков старше определённого возраста.

Вывести их количество на экран.

implement main
    open core, console

class facts
    k : integer := 0.
    manAge : (string, integer).
    boy : (string).

clauses
    boy("maxim").
    boy("george").
    boy("piter").
    manAge("maxim", 25).
    manAge("george", 17).
    manAge("piter", 22).
    manAge("nina", 27).
    manAge("ann", 14).

    run() :-
        stdio::write("Adult boys:"),
        nl,
        k := 0,
        nl,
        foreach manAge(M, A) and boy(M) and A > 20 do
            stdio::write("Man: ", M),
            stdio::write("  "),
            stdio::write("Age: ", A),
            k := k + 1,
            nl
        end foreach,
        nl,
        stdio::write("Number: ", k),
        nl,
        nl,
        _ = readLine().

end implement main

goal
    console::runUtf8(main::run).

Задача 6

С клавиатуры вводятся два целых числа.

Необходимо получить наибольшее из двух чисел.

Также надо найти сумму введённых чисел.

При решении задачи использовать вспомогательные предикаты.

implement main
    open core, console

class predicates
    sum : (integer, integer, integer [out]).
    big : (integer, integer, integer [out]).

clauses
    sum(A, B, C) :-
        C = A + B.

    big(A, B, C) :-
        if A > B then
            C = A
        else
            C = B
        end if.

    run() :-
        AA = toTerm(stdio::readline()),
        BB = toTerm(stdio::readline()),
        sum(AA, BB, X),
        big(AA, BB, Y),
        nl,
        write("Summa: ", X),
        nl,
        write("Biggest: ", Y),
        nl,
        _ = readLine().

end implement main

goal
    console::runUtf8(main::run).

Задача 7

Дан текстовый файл.

Необходимо осуществить посимвольное чтение из файла.

Вывести считанные символы на экран.

implement main
    open core, console

class facts
    n : integer := 0.

clauses
    run() :-
        n := 0,
        F1 = inputStream_file::openFile("aaa.txt", stream::unicode()),
        std::repeat(),
            S = F1:readChar(),
            n := n + 1,
            write(n, ")  ", S),
            nl,
            F1:endOfStream(),
            !,
        F1:close(),
        nl,
        _ = readLine()
        or
        succeed().

end implement main

goal
    console::runUtf8(main::run).

Задача 8

Создать текстовый файл.

Добавить содержимое в файл.

implement main
    open core, console

class facts
    s : string := "".

clauses
    run() :-
        F2 = outputStream_file::create("bbb.txt"),
        s := "abc",
        F2:write(s),
        s := "xyz",
        F2:write(s),
        F2:nl,
        s := "012345",
        F2:write(s),
        F2:close(),
        nl,
        _ = readLine().

end implement main

goal
    console::runUtf8(main::run).

Задача 9

Создать динамическую базу фактов.

Хранить данные в виде ключ - значение.

implement main
    open core, console

class facts
    store : (string, integer).

class predicates
    printStore : ().
    saveKeyValue : (string, integer).

clauses
    saveKeyValue(K, V) :-
        if retract(store(K, _)) then
        end if,
        assert(store(K, V)).

    printStore() :-
        write("Content"),
        nl,
        foreach store(K, V) do
            write(K, " : ", V),
            nl
        end foreach,
        nl.

    run() :-
        saveKeyValue("maxim", 12),
        saveKeyValue("alex", 17),
        saveKeyValue("george", 25),
        printStore(),
        saveKeyValue("maxim", 200),
        saveKeyValue("alex", 300),
        saveKeyValue("george", 400),
        printStore(),
        _ = readLine().

end implement main

goal
    console::runUtf8(main::run).

Задача 10

Хороший мальчик: хороший + мальчик.

Необходимо формализовать данную информацию и выполнить проверки.

Факты: boy и good.

Правило: goodBoy.

implement main
    open core, console

class facts
    boy : (string).
    good : (string).

class predicates
    goodBoy : (string [out]) nondeterm.

clauses
    goodBoy(X) :-
        boy(X),
        good(X).

    boy("maxim").
    boy("george").
    boy("alex").
    boy("oleg").
    good("nina").
    good("ann").
    good("alex").
    good("maxim").

    run() :-
        foreach goodBoy(Y) do
            write(Y),
            nl
        end foreach,
        nl,
        _ = readLine().

end implement main

goal
    console::runUtf8(main::run).