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.