Jump to content

Inductive functional programming

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by MadeYourReadThis (talk | contribs) at 02:15, 11 February 2014 (Added {{merge to}} tag to article (TW)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

It has been suggested that this article be merged into Inductive programming. (Discuss) Proposed since February 2014.

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Inductive functional programming" – news · newspapers · books · scholar · JSTOR (January 2014) (Learn how and when to remove this message)

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 computer science article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Inductive_functional_programming&oldid=594918884"

Hidden categories: