A delcarative logic based language used for deductive reasoning within a finite universe.
To my knowledge there are no hardware accelators for Prolog, however there are implementations of the language targeting most platforms.
- Facts are axomiatic truths within the Prolog world. This article explores their usage and ideas.
- Rules define the relationship between other rules and facts to answer questions.