составить правило в Visual Prolog Нужно найти цену самого дорогого фрукта, не могу понять, как это можно сделать, можно через рекурсию или циклы, но у меня что-то не получается .

Программа:
domains
название=symbol
стоимость=real

predicates
дорогой (стоимость)
фрукты (название, стоимость)

clauses
фрукты (яблоко, 20).
фрукты (груша, 15).
фрукты (вишня, 40).
фрукты (гранат, 70).
фрукты (банан, 60).
фрукты (слива, 30).

дорогой (Ц): -фрукты (_,Ц1), фрукты (_,Ц), (Ц-Ц1)>0. %это правило

goal
дорогой (Ц).

#include <stdio.h>
#include <math.h>

int isPrime(int x)
{
for (int i = 2; i <= sqrt(x); i++) {
if (x % i == 0) return 0;
}
return 1;
}

int main()
{

/* Ввод значений */
int n;
scanf("%d", &n);
int nums[n];
for (int i = 0; i < n; i++) {
scanf("%d", &nums[i]);
}

/* Поиск минимального значения */
int min = nums[0];
for (int i = 1; i < n; i++) {
if (nums[i] < min) min = nums[i];
}

/* Поиск делителя */
int ret = 0;
int isDiv = 1;
for (int i = min; i > 1; i--) {
printf("test %d\n", i);
if (isPrime(i)) {
printf(" %d prime\n", i);
for (int j = 0; j < n; j++) {
if (nums[j] % i != 0) {
printf(" on pos %d not div %d\n", j, i);
isDiv = 0;
break;
}
}
if (isDiv) {
ret = i;
printf(" ret = %d, break\n", ret);
break;
}
else {
isDiv = 1;
}
}
}

printf("%d", ret);
return 0;
}

1)

n = int(input())

m = int(input())

a = []

b = []

for i in range(n):

   c = int(input())

   a.append(c)

for i in range(m):

   c = int(input())

   b.append(c)

print(len(a), len(b))

2)

n = int(input())

m = int(input())

a = []

b = []

for i in range(n):

   c = int(input())

   if c not in a:

       a.append(c)

for i in range(m):

   c = int(input())

   if c not in b:

       b.append(c)

print(len(a), len(b))

3)

n = int(input())

a = []

for i in range(n):

   b = input()

   a.append(b)

b = input()

if b not in a:

   print('Всё верно')

else:

   print('Вы повторяетесь')