Talk:Functional logic programming

Remark on FLP and λProlog

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)[reply]

Perhaps you're right — it's a long time ago that I last looked at λProlog. I might have confused HO logic programming and FLP when I wrote this stub. QVVERTYVS (hm?) 17:53, 23 December 2015 (UTC)[reply]
I glossed over the papers of Michael Hanus, one of the codesigners of the Curry programming language. It seems to be that he hardly mentions λProlog. It also occurs to me, that most likely currently the Curry programming language has some important HO features missing, like hypothetical reasoning and quantifiers. Same Problem with the Mercury programming language.
There is a fine line between adding a constraint store, which both Curry and Mercury did, and providing the HO features that λProlog does. I checked a little bit the papers that introduce a constraint store for Curry and Mercury, but I couldn't find the HO features and I don't know where else to look. Jan Burse (talk) 09:52, 24 December 2015 (UTC)[reply]
I've removed λProlog. QVVERTYVS (hm?) 11:40, 24 December 2015 (UTC)[reply]

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.