Prologuing...:p

Excelentissimos programadores;

Segue-se o que eu julgo ser uma possivel correcção do exercicio dos avioes/monopolio_das_ligações... atenção que pode faltar uma virgula seguida de um under_score.. (ja perdi um bom tempo com isso) Testem e digam-me se correu bem.. para os restantes exercicios era bom irmos postando e/ou tirando aqui algumas duvidas até porque o das rectas e restantes alineas nao resolvi.. :(

Cumprimentos e bons estudos



ligacao(_,X,Y,_):- voo(_,X,Y,_).

ligacao(_,X,Y,_):- voo(_,X,Z,_),ligacao(_,Z,Y,_).

ligacao_da_companhia(_,X,Y,C):-voo(_,X,Y,C).

monopolio_ligacao(X,Y,C):-ligacao_da_companhia(_,X,Y,C), \+

ligacao_sem_companhia(X,Y,C).

ligacao_da_companhia(X,Y,C):-voo(_,X,Y,C).

ligacao_da_companhia(X,Y,Z):-voo(_,X,Z,C), ligacao_da_companhia(Z,Y,C).

ligacao_sem_companhia(X,Y,C):-voo(_,X,Y,C1),C1 \=C.

ligacao_sem_companhia(X,Y,C):-voo(_,X,Z,C1),C1 \=C,

ligacao_sem_companhia(Z,Y,C).