This is the
talk page for discussing improvements to the
Functional logic programming article. This is not a forum for general discussion of the article's subject. |
Article policies
|
Find sources: Google ( books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
![]() | This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
|
In my opinion, lambda Prolog isn't functional in the same sense as Prolog isn't functional. In both languages there is no definition mechanism for functions.
Functions are only a special case of predicates that happen to be functional in certain arguments that are viewed as input and output. But we want to retain flexibility and to use a predicate in any direction.
In as far lambda Prolog only offers the possibility to define predicates with higher order terms using higher order bodies, and I doubt that this is functional logic programming as somebody would understand it.
Jan Burse ( talk) 11:54, 23 December 2015 (UTC)
This is the
talk page for discussing improvements to the
Functional logic programming article. This is not a forum for general discussion of the article's subject. |
Article policies
|
Find sources: Google ( books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
![]() | This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
|
In my opinion, lambda Prolog isn't functional in the same sense as Prolog isn't functional. In both languages there is no definition mechanism for functions.
Functions are only a special case of predicates that happen to be functional in certain arguments that are viewed as input and output. But we want to retain flexibility and to use a predicate in any direction.
In as far lambda Prolog only offers the possibility to define predicates with higher order terms using higher order bodies, and I doubt that this is functional logic programming as somebody would understand it.
Jan Burse ( talk) 11:54, 23 December 2015 (UTC)