Observa o código a seguir
? amigo(X, Y).

X = ana,
Y = marcos X = marcos, Y = ana
X = ana,
Y = silvio
X = silvio,
Y = ana
X = paulo, Y = victor
X = victor,
Y = paulo
X = victor,
Y = marcos X = marcos, Y = victor

? amigo(marcos, Y).

Y = ana
Y = victor

Este código representa um trecho da linguagem PROLOG, assinale a alternative que representa o paradigma compatível com este código.
Alternativas
Alternativa 1:
Paradigma Lógico

Alternativa 2:
Paradigma Funcional

Alternativa 3:
Paradigma Imperativo

Alternativa 4:
Paradigma Estruturado

Alternativa 5:
Paradigma Orientado à Objetos