Inductive functional programming

Inductive Functional Programming (IFP) is a special kind of inductive programming that uses functional programs as representation for examples, programs and background knowledge. The term is frequently used to make a distinction from inductive logic programming, which uses logic programs.

See also


This article is issued from Wikipedia - version of the 2/11/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.