Filters








267,262 Hits in 4.0 sec

Integration of functional and logic programming

Michael Hanus, Herbert Kuchen
<span title="1996-06-01">1996</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a> </i> &nbsp;
In this paper we discuss our practical experiences with the use of different search strategies in functional logic programs.  ...  Introduction Functional logic languages combine the most important features of functional and logic programming in a single language (see [AH10, Han07] for recent surveys).  ...  Functional Logic Programming and Curry Integrated functional logic programming languages combine features from functional programming and logic programming.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/234528.234734">doi:10.1145/234528.234734</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o34vgwwnbbcllnwozymoizu3am">fatcat:o34vgwwnbbcllnwozymoizu3am</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20141107012212/http://www.informatik.uni-kiel.de/~mh/papers/ATPS12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a0/5c/a05c0418afc02f1ad8c9f88eebaf04938ac01f41.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/234528.234734"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Reduction Strategies for Declarative Programming

Michael Hanus
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
This paper surveys reduction or evaluation strategies for functional and functional logic programs.  ...  We review existing reduction strategies along these lines and discuss some aspects for further investigation.  ...  [15] contains a recent proposal of functional logic programming with constraints. Conclusions We have discussed some known reduction strategies for functional and functional logic programs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)00273-7">doi:10.1016/s1571-0661(04)00273-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jtcnfes5ireuxlctdpm6nxkehm">fatcat:jtcnfes5ireuxlctdpm6nxkehm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060925174524/http://www.informatik.uni-kiel.de/%7Emh/publications/papers/WRS01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/83/99/83994d13377501d3601a5c4cace125dc59ea2049.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)00273-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

From Logic to Functional Logic Programs [article]

Michael Hanus
<span title="2022-05-13">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Since amalgamated functional logic languages offer flexible as well as efficient evaluation strategies, we propose an opposite approach in this paper.  ...  By mapping logic programs into functional logic programs with a transformation based on inferring functional dependencies, we develop a fully automatic transformation which keeps the flexibility of logic  ...  Encapsulated search (findall) or cuts in Prolog, whose behavior depends on the search strategy and ordering of rules, can be represented in functional logic programming in a strategy-independent manner  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.06841v1">arXiv:2205.06841v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/du6oucg3zrfptfxrlxhkky55ue">fatcat:du6oucg3zrfptfxrlxhkky55ue</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220518134743/https://arxiv.org/pdf/2205.06841v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/49/f1/49f1ec8d74b163bdde52fbcf211cb86ba0419c1f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.06841v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Functional Logic Programming: From Theory to Curry [chapter]

Michael Hanus
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper surveys the foundations of functional logic programming that are relevant for Curry, the main features of Curry, and extensions and applications of Curry and functional logic programming.  ...  Functional logic programming languages combine the most important declarative programming paradigms, and attempts to combine these paradigms have a long history.  ...  Furthermore, I would like to thank Sergio Antoy, Bernd Braßel, and Germán Vidal for their constructive remarks to improve the readability of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-37651-1_6">doi:10.1007/978-3-642-37651-1_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bi7s3wzbvbh5xf57gsox7uhhjq">fatcat:bi7s3wzbvbh5xf57gsox7uhhjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110813104316/http://www.informatik.uni-kiel.de/~mh/reports/newsurvey.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/83/b5/83b543a990fc4e27e6412768515c10b0468c8896.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-37651-1_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

KiCS2: A New Compiler from Curry to Haskell [chapter]

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we present our first steps towards a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs.  ...  This enables the application of various search strategies to extract values from the search space.  ...  Actually, [1, 31] define lazy evaluation strategies for functional logic programs with call-time choice semantics where actual arguments passed to operations are shared.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22531-4_1">doi:10.1007/978-3-642-22531-4_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cyitk3hjnncoddwrcobjih2a7q">fatcat:cyitk3hjnncoddwrcobjih2a7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706054902/http://www.informatik.uni-kiel.de/~mh/publications/papers/WFLP11_KiCS2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ac/d0/acd0535a13a71978e9c2b9e7e871ab3d657a4626.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22531-4_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Introduction [chapter]

<span title="">1994</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Pinto outlines a combination of functional and logic programming where both are seen as techniques for guiding an automatic search for a normal/cut-free prooL Reddy however shows that functional programming's  ...  Keronen proposes a logic programming language where both knowledge about the problem domain and the search strategy can be expressed in logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-58025-5_45">doi:10.1007/3-540-58025-5_45</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/usv4xf4esnbs7dvvqvpyxr7jcm">fatcat:usv4xf4esnbs7dvvqvpyxr7jcm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726155319/https://link.springer.com/content/pdf/10.1007%2F3-540-58025-5_45.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/89/a3/89a36a4603443506e9b30392d17215ac80bad4b5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-58025-5_45"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Functional Logic Design Patterns [chapter]

Sergio Antoy, Michael Hanus
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We introduce a handful of software design patterns for functional logic languages.  ...  Our patterns deal with data type construction, identifier declarations, mappings, search, nondeterminism and other fundamental aspects of the design and implementation of programs.  ...  Functional logic programming integrates in a single programming model the most important features of functional and logic programming (see [18] for a detailed survey).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45788-7_4">doi:10.1007/3-540-45788-7_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kwru6b7imree7dfmx2b4qlu43q">fatcat:kwru6b7imree7dfmx2b4qlu43q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130705135756/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.71.2137&amp;rep=rep1&amp;type=pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d6/52/d65297172da827a9c4cce2170ca9a99bf24d183d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45788-7_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Logic programming in the context of multiparadigm programming: the Oz experience

PETER VAN ROY, PER BRAND, DENYS DUCHIER, SEIF HARIDI, CHRISTIAN SCHULTE, MARTIN HENZ
<span title="">2003</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yhwvj6mbzza5tfz766tokherka" style="color: black;">Theory and Practice of Logic Programming</a> </i> &nbsp;
The Oz support for logic programming targets these two problem classes specifically, using the concepts needed for each.  ...  Our experience shows that there are two classes of problems, which we call algorithmic and search problems, for which logic programming can help formulate practical solutions.  ...  We thank Danny De Schreye for suggesting the ICLP99 tutorial on which this article is based.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068403001741">doi:10.1017/s1471068403001741</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/opfvkb5i3vellfgk7s3mozjo7i">fatcat:opfvkb5i3vellfgk7s3mozjo7i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161020092634/http://www.univ-orleans.fr:80/lifo/Members/duchier/papers/duchier-tplp2003.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/37/d6/37d6227ca359104a520f7d8dfaaad76a3aebf237.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068403001741"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Logic programming in the context of multiparadigm programming: the Oz experience [article]

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
<span title="2002-08-20">2002</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The Oz support for logic programming targets these two problem classes specifically, using the concepts needed for each.  ...  This model subsumes both concurrent logic programming (committed-choice-style) and search-based logic programming (Prolog-style).  ...  Higher-order logic programming. Vol. 5 of (Gabbay et al., 1995) . Chap. 8. Nikhil, Rishiyur S. 1994a (July). ID language reference manual version 90.1. Tech. rept. Memo 284-2.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0208029v1">arXiv:cs/0208029v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aef4drwtkfd4tcyknziqfegbja">fatcat:aef4drwtkfd4tcyknziqfegbja</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0208029/cs0208029.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/01/4f/014fddbf716480e4b081de55828994703b985ee2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0208029v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Improving Lazy Non-Deterministic Computations by Demand Analysis

Michael Hanus, Marc Herbstritt
<span title="2012-07-27">2012</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lp3a6vqizfdbvlneh2os4i6swe" style="color: black;">International Conference on Logic Programming</a> </i> &nbsp;
Functional logic languages combine lazy (demand-driven) evaluation strategies from functional programming with non-deterministic computations from logic programming.  ...  We demonstrate the positive effects of this program transformation with KiCS2, a recent highly efficient implementation of the functional logic programming language Curry.  ...  Motivation Functional logic languages support the most important features of functional and logic programming in a single language (see [10, 32] for recent surveys).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.iclp.2012.130">doi:10.4230/lipics.iclp.2012.130</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iclp/Hanus12.html">dblp:conf/iclp/Hanus12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/brk5o7y5rvajrgcoiqkpnxgop4">fatcat:brk5o7y5rvajrgcoiqkpnxgop4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20141107012128/http://www.informatik.uni-kiel.de/~mh/papers/ICLP12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/d5/d1d56b1c5f63a8df851f987bc99a8de9a0ba4144.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.iclp.2012.130"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

The Kiel Curry System KiCS [chapter]

Bernd Braßel, Frank Huch
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry.  ...  Its main features beyond other Curry implementations are: flexible search control by means of search trees, referentially transparent encapsulation and sharing across nondeterminism.  ...  Introduction The lazy functional logic programming language Curry [5] combines the functional and the logical programming paradigms as seamlessly as possible.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-00675-3_13">doi:10.1007/978-3-642-00675-3_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p2sqqptpjrcqroe4xg3aevilcm">fatcat:p2sqqptpjrcqroe4xg3aevilcm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706084514/http://www-ps.informatik.uni-kiel.de/~fhu/PUBLICATIONS/2008/kps08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/30/55/3055f4510e51a020e479a258d6f884d64eee67cb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-00675-3_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Memoized Pull-Tabbing for Functional Logic Programming [article]

Michael Hanus, Finn Teegen
<span title="2020-08-27">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Pull-tabbing is an evaluation technique for functional logic programs which computes all non-deterministic results in a single graph structure.  ...  Pull-tabbing is independent of a search strategy so that different strategies (depth-first, breadth-first, parallel) can be used to extract the results of a computation.  ...  Introduction Functional logic languages [7] combine the main features of functional and logic languages in a single programming model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2008.11999v1">arXiv:2008.11999v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i7c6gnt22jblveiamsljjgkwwe">fatcat:i7c6gnt22jblveiamsljjgkwwe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200901011301/https://arxiv.org/pdf/2008.11999v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2008.11999v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Evolutionary synthesis of nand logic: Dissecting a digital organism

Winston Ewert, William A. Dembski, Robert J. Marks
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hyrfp4q26bahtlwucwlaapnfwy" style="color: black;">2009 IEEE International Conference on Systems, Man and Cybernetics</a> </i> &nbsp;
We illustrate this by identifying sources of active information in Avida, a software program designed to search for logic functions using nand gates.  ...  Avida uses stair step active information by rewarding logic functions using a smaller number of nands to construct functions requiring more.  ...  One is evolutionary search for synthesis of logic functions. The nand gate is one of two logic functions from which all other logic can be synthesized [14] . The other is the nor gate.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsmc.2009.5345941">doi:10.1109/icsmc.2009.5345941</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/smc/EwertDM09.html">dblp:conf/smc/EwertDM09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gfv6uzlhbzdrhdjx4vefkae2ie">fatcat:gfv6uzlhbzdrhdjx4vefkae2ie</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812124341/http://vigir.missouri.edu/~gdesouza/Research/Conference_CDs/IEEE_SMC_2009/PDFs/995.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ce/ae/ceae8c32f597a05511f7046986852d65ff33bec2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsmc.2009.5345941"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Transforming Functional Logic Programs into Monadic Functional Programs [chapter]

Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Thus, different monad instances could, for example, define different search strategies (e.g., depth-first, breadth-first, parallel).  ...  We present a high-level transformation scheme to translate lazy functional logic programs into pure Haskell programs.  ...  This restriction also holds for pure functional or logic programs and is important to provide efficient evaluation strategies (see [13] for more details).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-20775-4_2">doi:10.1007/978-3-642-20775-4_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uukd3gt2yffpzitmhlm2mhp2v4">fatcat:uukd3gt2yffpzitmhlm2mhp2v4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110813093450/http://www.informatik.uni-kiel.de/~mh/papers/WFLP10T_LNCS.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/91/01/91015f57dbbaea4b82b0b73f2044f2fac353472e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-20775-4_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A unified computation model for functional and logic programming

Michael Hanus
<span title="">1997</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;97</a> </i> &nbsp;
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and integrated functional logic  ...  Thus, our model is a suitable basis for future declarative programming languages.  ...  higher-order functions) and logic programming (logical variables, partial data structures, built-in search).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/263699.263710">doi:10.1145/263699.263710</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/Hanus97.html">dblp:conf/popl/Hanus97</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ov3hqg3vbbbvfeblfbo265a3ja">fatcat:ov3hqg3vbbbvfeblfbo265a3ja</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070719213829/http://www.informatik.uni-kiel.de/%7Emh/publications/papers/POPL97.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/aa/6f/aa6f500160a938feff5a7b2550e317465fa60d8a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/263699.263710"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 267,262 results