Visual Prolog - take some function as argument of another function

Question

I'm a new in Visual Prolog, and as I understand, this language seems as functional. And so on, I have a question: can we do smth like this (and if 'can' then 'how'):

func1(X, Y, Func2) :-
  R = somefunc(X,Y),
    if R = "yes", ! then
       Func2  %here I want to call function with name, which is in variable 'Func2'
    else
        stdIO::write("End of work"),
        stdIO::nl,
        fail
    end if.

The cause of this question - I need to call different functions in same way, with checking answer from console. and if it wasn't 'yes' - stop running program.

Answer 1

First of all, Prolog doesn't have functions, those things are predicates. The difference matter a lot, since there can be multiple ways to satisfy (prove) a predicate is true, but there is typically only one way to interpret a function.

I've never used Visual Prolog, but what you are asking can be accomplished in most flavors of Prolog I've seen using =../2 and call/1 as follows:

Func2WithArgs =.. [Func2, Arg1, Arg2],
call(Func2WithArgs).

for instance:

X = writeln, Call =.. [X, 'Hellow World'], call(Call).