 An example of a deductive language is Prolog, or its database-query cousin, Datalog.As the name implies, deductive languages are rooted in the principles of deductive reasoning; making inferences based upon current knowledge.The first recommendation to use a clausal form of logic for representing computer programs was made by Cordell Green (1969) at Stanford Research Institute (now SRI International).