Search Results - integration of functional and logic programming

Integration of Functional and Logic Programming (Dagstuhl Seminar 9112)

Authors: Apt, Krzysztof Indermark, Klaus

Index Terms: Data processing Computer science, InProceedings, publishedVersion

Polyfun : an experimental approach to the integration of functional and logic programming

Authors: Stanley, Adrian

Subject Terms: 005, Polyfun computer language

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329137

Integration of Functional and Logic Programming.

Authors: Hanus, Michael Kuchen, Herbert

Source: ACM Computing Surveys. Jun96, Vol. 28 Issue 2, p306-308. 3p.

Subject Terms: *PROGRAMMING languages, *LOGIC programming, *FUNCTIONAL programming (Computer science), *COMPUTER programming, *LOGIC programming languages, *FUNCTIONAL programming languages, *SEMANTICS

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

Authors: John P. Gallagher Martin Sulzmann

Resource Type: eBook.

Subjects: 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

On a Tighter Integration of Functional and Logic Programming.

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Source: Programming Languages & Systems (978-3-540-76636-0); 2007, p122-138, 17p

PrologPF : parallel logic and functions on the Delphi machine

Authors: Lewis, Ian Clocksin, William

Contributors: Lewis, Ian Clocksin, William

Subject Terms: 005.13, prologpf, prolog, computing, logic programming, computer science, functional programming, logic, parallel

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541474

DNA logic programming: From concept to construction.

Authors: Zhang, Yi Hu, Ning Xu, Jiajie et al.

Source: View (2688-268X); Feb2024, Vol. 5 Issue 1, p1-11, 11p

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

Authors: Josep Silva

Resource Type: eBook.

Subjects: Computer science, Computer programming, Compilers (Computer programs), Artificial intelligence

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

Mathematical Aspects of Logic Programming Semantics

Authors: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Subjects: Logic programming, Programming languages (Electronic computers)--Semantics

Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy

On the integration of logic programming and functional programming.

Authors: Rhodes, Randy E.

Availability: http://hdl.handle.net/10945/21473

Bounded rationality: from fast and frugal heuristics to logic programming and back.

Authors: Vargas, Francisco Martignon, Laura Stenning, Keith

Source: Mind & Society; Nov2023, Vol. 22 Issue 1/2, p33-51, 19p

Subject Terms: LOGIC programming, BOUNDED rationality, HEURISTIC, NONMONOTONIC logic, DECISION making

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

Authors: Yukiyoshi Kameyama Peter J. Stuckey

Resource Type: eBook.

Subjects: Functional programming (Computer science)--Congresses, Logic programming--Congresses

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

Unification and Set-Valued Functions for Functional and Logic Programming

Authors: NORTH CAROLINA UNIV AT CHAPEL HILL DEPT OF COMPUTER SCIENCE Silbermann, Frank S Jayaraman, Bharat

Source: DTIC AND NTIS

Index Terms: Computer Programming and Software, COMPUTER PROGRAMMING, INPUT, OUTPUT, SEMANTICS, SET THEORY, SYNTAX, COMPUTER LOGIC, Functional programming, Logic programming, Setlog programming language, High level programming., Text

URL: https://apps.dtic.mil/docs/citations/ADA193643

Integration of Functional and Logic Programming Languages.

Authors: Lloyd, John

Source: Logic Programming (9780262291248); 1995, p619-620, 2p

A domain-theoretic approach to functional and logic programming.

Authors: Silbermann, Frank S. K. Jayaraman, Bharat

Source: Journal of Functional Programming; Jul1992, Vol. 2 Issue 3, p273-321, 49p

[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING

[pt] LISPLOG: UMA LINGUAGEM PARA A PROGRAMAÇÃO FUNCIONAL E PARA A PROGRAMAÇÃO EM LÓGICA

Authors: DANTE CORBUCCI FILHO

Thesis Advisors: GERALDO FERNANDO GUIDACCI DA SILVEIRA

Subject Terms: [pt] LINGUAGEM, [en] LANGUAGE, [pt] PROGRAMACAO LOGICA, [en] LOGIC PROGRAMMING, [pt] PROGRAMACAO FUNCIONAL

Availability: https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14348@1
https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14348@2

Semantic Observation Integration

Authors: Werner Kuhn Laura Spinsanti Frank Ostermann et al.

Source: Future Internet, Vol 4, Iss 3, Pp 807-829 (2012)

Subject Terms: observation, integration, semantic interoperability, ontological commitment, Haskell, functional programming, algebraic specification, DOLCE UltraLite, SSN Ontology, Volunteered Geographic Information, Information technology, T58.5-58.64

File Description: electronic resource

Relation: http://www.mdpi.com/1999-5903/4/3/807; https://doaj.org/toc/1999-5903

Access URL: https://doaj.org/article/278a6c17b81947f59608789d908eaa5f

A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains

Authors: del Vado Vírseda, Rafael¹ rdelvado@sip.ucm.es

Source: ENTCS: Electronic Notes in Theoretical Computer Science. Apr2011, Vol. 269, p55-69. 15p.

Subject Terms: Predicate (Logic), Mathematical logic, Logic programming, Algebra, Real numbers, Semantics, Functional programming languages

Integrating Functional and Logic Programming.

Authors: Lindstrom, Gary

Source: IEEE Software. Jan86, Vol. 3 Issue 1, p77. 2/3p.

Subject Terms: LOGIC programming, FUNCTIONAL programming (Computer science), MULTIPARADIGM programming (Computer science)

On Integration of Programming Paradigms.

Authors: Mycroft, Alan¹ Alan.Mycrof@cl.cam.ac.uk

Source: ACM Computing Surveys. Jun96, Vol. 28 Issue 2, p309-311. 3p.

Subject Terms: *COMPUTER programming, *PROGRAMMING languages, LOGIC programming, PARADIGM (Linguistics), LINGUISTICS, SEMANTICS