Výsledky vyhledávání - Functional Logic Programming

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming

Autoři: Lennart Augustsson Joachim Breitner Koen Claessen a další

Zdroj: Proceedings of the ACM on Programming Languages. 7:417-447

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Autoři: John P. Gallagher Martin Sulzmann

Resource Type: eBook.

Témata: Software engineering, Compilers (Computer programs), Computer programming, Computers, Professions, Electronic digital computers—Evaluation, Computers, Special purpose

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Programming / General

Embedding Functional Logic Programming in Haskell via a Compiler Plugin

Autoři: Kai-Oliver Prott Finn Teegen Jan Christiansen

Zdroj: Lecture Notes in Computer Science ISBN: 9783031248405

λProlog(QS): Functional spatial reasoning in higher order logic programming

Autoři: Li, Beidi Bhatt, Mehul, Professor Schultz, Carl P. L.

Zdroj: Leibniz International Proceedings in Informatics, LIPIcs.

Témata: Spatial reasoning, Functional logic programming, Lambda-Prolog, Computer Science, Datavetenskap

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-76858
https://doi.org/10.4230/LIPIcs.COSIT.2019.26

Memoized Pull-Tabbing for Functional Logic Programming

Autoři: Michael Hanus Finn Teegen

Zdroj: Lecture Notes in Computer Science ISBN: 9783030753320

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/2008.11999
http://arxiv.org/abs/2008.11999
https://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-11999
https://link.springer.com/chapter/10.1007/978-3-030-75333-7_4
https://arxiv.org/pdf/2008.11999
https://rd.springer.com/chapter/10.1007/978-3-030-75333-7_4
https://arxiv.org/abs/2008.11999

Meta-analysis of the functional neuroimaging literature with probabilistic logic programming.

Autoři: Abdallah M Iovene V Zanitti G a další

Zdroj: Scientific reports [Sci Rep] 2022 Nov 12; Vol. 12 (1), pp. 19431. Date of Electronic Publication: 2022 Nov 12.

Způsob vydávání: Meta-Analysis; Journal Article; Research Support, Non-U.S. Gov't

Informace o časopise: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: MEDLINE

Výrazy ze slovníku MeSH: Artificial Intelligence* , Functional Neuroimaging*, Neuroimaging/methods ; Brain/diagnostic imaging ; Logic

A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley

Autoři: Baltasar Trancón y Widemann Markus Lepper

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 234, Iss Proc. WLP 2015/'16/WFLP'16, Pp 150-164 (2017)

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, D.1.6, Electronic computers. Computer science, QA1-939, D.1.5, D.3.3, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, Mathematics, Programming Languages (cs.PL)

Přístupová URL adresa: https://arxiv.org/pdf/1701.00634
http://arxiv.org/abs/1701.00634
https://doaj.org/article/601bd3c89e0c4edfa043fb02b2d186f9
https://arxiv.org/abs/1701.00634
https://dblp.uni-trier.de/db/series/eptcs/eptcs234.html#WidemannL17
https://doi.org/10.4204/EPTCS.234.11
https://arxiv.org/abs/1701.00634
https://arxiv.org/pdf/1701.00634.pdf

A proof theoretic approach to failure in functional logic programming

Autoři: Francisco Javier López-Fraguas Jaime Sánchez-Hernández

Zdroj: Theory and Practice of Logic Programming. 4:41-74

Témata: proof calculi, FOS: Computer and information sciences, D.1.6, D.3.2, Computer Science - Programming Languages, functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, constructive failure, 02 engineering and technology, Logic programming, Programming Languages (cs.PL)

Popis souboru: application/xml

Přístupová URL adresa: http://arxiv.org/pdf/cs/0405102v1.pdf
http://arxiv.org/abs/cs/0405102
http://journals.cambridge.org/abstract_S1471068403001728
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/proof-theoretic-approach-to-failure-in-functional-logic-programming/E2D12EE8BC5F54B96EE9732909DC9A27
http://ui.adsabs.harvard.edu/abs/2004cs........5102L/abstract
https://dblp.uni-trier.de/db/journals/tplp/tplp4.html#Lopez-FraguasS04

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

Autoři: Antonio J. Fernández Mario Rodríguez-Artalejo R. del Vado-Vírseda a další

Zdroj: Electronic Notes in Theoretical Computer Science. 188:37-51

Témata: Cooperating Solvers, Functional Logic Programming, Implementation, Constraints, 0202 electrical engineering, electronic engineering, information engineering, Lazy Narrowing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://core.ac.uk/display/82188877
http://gpd.sip.ucm.es/sonia/PROLE'06.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs188.html#MartinFHRSV07
https://www.sciencedirect.com/science/article/pii/S1571066107004793
https://www.sciencedirect.com/science/article/abs/pii/S1571066107004793

Constraint Functional Logic Programming Revisited

Autoři: Rafael del Vado Vírseda F. Javier López-Fraguas Mario Rodríguez-Artalejo

Zdroj: Electronic Notes in Theoretical Computer Science. 117:5-50

Témata: Logic Programming, Functional Programming, Constraints, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/abs/pii/S1571066104052934
https://www.sciencedirect.com/science/article/pii/S1571066104052934
https://dblp.uni-trier.de/db/journals/entcs/entcs117.html#Lopez-FraguasRV05
https://core.ac.uk/display/82685587
http://gpd.sip.ucm.es/uploads/pdf/LMR05_RV-wrla04.pdf
https://www.sciencedirect.com/science/article/abs/pii/S1571066104052934#!

Evaluation strategies for functional logic programming

Autoři: Sergio Antoy

Zdroj: Journal of Symbolic Computation. 40:875-903

Témata: Computational Mathematics, Evaluation strategies, Algebra and Number Theory, Definitional trees, Constructor-based rewrite systems, Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Narrowing, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066104002658
https://dblp.uni-trier.de/db/journals/tcs/entcs57.html#Antoy01
https://www.sciencedirect.com/science/article/pii/S1571066104002658#!

Memoized Pull-Tabbing for Functional Logic Programming

Autoři: Hanus, Michael Teegen, Finn

Témata: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2008.11999

Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Autoři: Josep Silva

Resource Type: eBook.

Témata: Computer science, Computer programming, Compilers (Computer programs), Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General

Functional and Logic Programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

Autoři: Yukiyoshi Kameyama Peter J. Stuckey

Resource Type: eBook.

Témata: Functional programming (Computer science)--Congresses, Logic programming--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General

Singular and plural functions for functional logic programming

Autoři: Adrián Riesco Juan Rodríguez-Hortalá

Zdroj: Theory and Practice of Logic Programming. 14:65-116

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/1203.2431
http://arxiv.org/abs/1203.2431
https://arxiv.org/abs/1203.2431
https://128.84.21.199/abs/1203.2431
https://arxiv.org/abs/1203.2431
https://ui.adsabs.harvard.edu/abs/2012arXiv1203.2431R/abstract
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S147106841200004X
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/singular-and-plural-functions-for-functional-logic-programming/75629FDA22B2329A8690D0B1946B6281
https://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-2431

lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)

Autoři: Li, Beidi Bhatt, Mehul Schultz, Carl

Témata: Spatial reasoning, Functional logic programming, Lambda-Prolog, Data processing Computer science, InProceedings, publishedVersion

Constraint functional logic programming over finite domains

Autoři: Fernando Sáenz-Pérez Rafael del Vado-Virseda Antonio J. Fernández a další

Zdroj: Theory and Practice of Logic Programming. 7:537-582

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, D.3.2, D.3.3, 0202 electrical engineering, electronic engineering, information engineering, F.3.2, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/cs/0601071
http://arxiv.org/abs/cs/0601071

a concurrent operational semantics for constraint functional logic programming

Autoři: del Vado Vírseda, Rafael Pérez Morente, Fernando García Toledo, Marcos Miguel a další

Přispěvatelé: del Vado Vírseda, Rafael Pérez Morente, Fernando García Toledo, Marcos Miguel a další

Témata: concurrent logic programming, Constraint logic programming, functional logic programming, ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/opus/volltexte/2012/3618/pdf/16.pdf
https://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#VirsedaMT12
https://drops.dagstuhl.de/opus/volltexte/2012/3618/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.154

towards a parallel virtual machine for functional logic programming

Autoři: Alqaddoumi, Abdulla Abdulla Alqaddoumi

Přispěvatelé: Alqaddoumi, Abdulla Abdulla Alqaddoumi

Témata: or-parallelism, term rewriting system, Functional logic programming, and-parallelism, ddc:004, non-determinism, needed narrowing

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/opus/volltexte/2010/2600/
https://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#Alqaddoumi10
http://drops.dagstuhl.de/opus/volltexte/2010/2600/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.222

A Formalization of the Semantics of Functional-Logic Programming in Isabelle

Autoři: López Fraguas, Francisco Merz, Stephan Rodríguez Hortalá, Juan

Přispěvatelé: López Fraguas, Francisco Merz, Stephan Rodríguez Hortalá, Juan

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, theorem proving, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Isabelle, 0102 computer and information sciences, CRWL logic, functional-logic programming, 01 natural sciences, higher-order logic, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/0908.0494
https://inria.hal.science/inria-00408964v1
https://inria.hal.science/inria-00408964v1/document