ПРОЛОГ (вопрос)

запрос: - есть ли языки у которых более 4 трансляторов. как вывести список языков у которых именно более 4-х трансляторов ?

Вам нужно описать отдельным предикатом набор фактов, в которых Вы для каждого языка скажете, сколько существует разных трансляторов.

так, только это:

zap(Name):-transl(Name,Kol),Kol>=4. /*формулировка запроса*/

не запрос, а правило.

Юрий Васильевич! Подскажите, пожалуйста, а запрос:

«-какие языки имеют только один интерпретатор, и в какой ОС?»

так можно сделать:

realization(«Бейсик», “Basic-80”, «И», “MS”, “CP/M”).
realization(«Бейсик», “Quick Basic”, «К», “MS”, “MS-DOS”).
realization(«Бейсик», “True Basic”, «К», “True Basic”, “Apple”).
realization(“GPSS”, “GPSS/PC”, «И», “Minuteman Software”, “PC-DOS”).
realization(«Смолток», “Smalltalk-80”, «К», “Apple”, “Apple”).
realization(«Смолток», “Smalltalk PC”, «К», “Software Systems”, “MS-DOS”).
realization(«Лисп», “Lisp”, «К», “MS”, “MS-DOS”).
realization(«Лисп», “Mulisp-85”, «И», “MS”, “MS-DOS”).
realization(«Пролог», “Turbo Prolog”, «К», “Borland”, “MS-DOS”).
realization(«Пролог», “Prolog/m”, «К», “Chalcedony Software”, “Macintosh”).

kolint(«Бейсик»,1).
kolint(“GPSS”,1).
kolint(«Смолток»,0).
kolint(«Лисп»,1).
kolint(«Пролог»,0).
        
        interp(string,string):-kolint(string,1),realization(string,_,_,_,string).

В смысле сработает ли это?

или это:
domains  
name,os=symbol,
... описать потом в предикатах, а потом
clauses
interp(name,os):-kolint(name,1),realization(name,_,_,_,os).

причем утверждения в запросе используются разные и  kolint и realization,
т.е. мне надо передавать в кач-ве аргумента от одного утверждения  последующему - имена языков, как это сделать?
или как-то это можно сделать иначе?

а по поводу запроса:
-фирмы, которые имеют больше чем один транслятор для одного языка программирования ( с указанием транслятора и его типа).
Там указывать  в фактах фирму, язык, количество трансляторов? а в правилах использовать это утверждение с количеством трансляторов=1 и следующим утверждением выводить список фирм
realization(_,L,T,F,_)
или можно проще как-то?