Dedução por modus ponens |
| Categoria: Prolog | ||
| Publicado em 22 de Maio de 2013 | ||
|
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.
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. |