Dedução por modus ponens

Em Prolog, ao declarar uma regra, o interpretador usará esta informação futuramente para realizar dedução por modus ponens.

Por exemplo, ao declarar que José ouve música quando tem tempo livre, por dedução, o interpretador Prolog responderá que sim se for pergutado se "João ouve música", mesmo não havendo nenhum fato declarado sobre isto.

1
2
3

ouveMusica(joao):= tempoLivre(joao).
?- ouveMusica(joao).
true

No exemplo acima, a pergunta "João ouve música" retornou verdadeiro, mesmo não havendo nenhum fato declarado. Este tipo de dedução é chamada de modus ponens.