Logical programming
Appearance
Logical programming is the general term for the use of logic in programming. It is more general that the more restricted term Logic programming which applies to the use of a restricted form of backward chaining logic in programming.