O que é o lógico 'não' no Prolog?

Question

Dec 15, 2011, 05:46 PM

O problema que enfrento é um pouco trivial. Eu quero usar a lógica não no Prolog, mas parece quenot/1 não é o que eu quero:

course(ai).
course(pl).
course(os).

have(X,Y) :- course(X),course(Y),not(X = Y).

I consulta:

have(X,Y), write(X-Y), nl , fail.

Eu não obtenho o resultado desejado:

questionAnswers(5)

Fazer chamadas seguras de thread para controles de formulários do Windows

Por que usamos a palavra-chave final com classes internas anônimas?

Como fazer espaço entre barras no gráfico de barras usando Achartengine se cada barra é diferente cor contendo valores diferentes

Como mover diretamente a câmera para o local atual na Google Maps Android API v2?

Como obter o nome do pacote de um aplicativo e, em seguida, iniciar esse aplicativo usando o Intent?