On the integration of logic programming and functional programming.

On the integration of logic programming and functional programming.

Bibliographic Details
Main Author:	Rhodes, Randy E.
Other Authors:	NA
Language:	en_US
Published:	2012
Online Access:	http://hdl.handle.net/10945/21473

Similar Items

Polyfun : an experimental approach to the integration of functional and logic programming
by: Stanley, Adrian
Published: (1989)

An integration of reduction and logic for programming languages
by: Wright, David A
Published: (1988)

An integration of logic and functional programming paradigms: Type theory and meta-narrowing
by: Lin, Fuyau
Published: (1991)

On the logic programming
by: Lin, Chun-Teng, et al.
Published: (1986)

Logic programs as declarative and procedural bias in inductive logic programming
by: Lin, Dianhuan
Published: (2013)

The Basic Scheme for the Evaluation of Functional Logic Programs
by: Peters, Arthur
Published: (2012)

LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
by: DANTE CORBUCCI FILHO
Published: (1989)

On the logic programming:And/Or programming specification language
by: LIN, CHUN-TENG, et al.
Published: (1986)

Multiparadigm programming: Novel devices for implementing functional and logic programming constructs in C++
by: McNamara, Brian
Published: (2005)

Integrating artificial neural networks and constraint logic programming.
Published: (1995)

Logic programming with constraints
by: Liu, Guohua
Published: (2010)

Action Logic Programs
by: Drescher, Conrad
Published: (2011)

Programming in temporal logic
by: Hale, Roger William Stephen
Published: (1988)

Agents in logic programming
by: Quintero, Jacinto Alfonso Davila
Published: (1997)

Compositional logic programming
by: McPhee, Richard
Published: (2000)

Abductive logic programming
by: Toni, Francesca
Published: (1995)

Derivation of logic programs
by: Hogger, C. J.
Published: (1978)

[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
by: DANTE CORBUCCI FILHO
Published: (2009)

Logic programming extensions of Horn clause logic
by: Ron Sigal
Published: (1988-11-01)

A defeasible logic programming approach to the integration of rules and ontologies
by: Sergio Alejandro Gómez, et al.
Published: (2010-06-01)

The primary logics of programming languages
by: Winner, Robert Ian
Published: (2006)

Towards certified program logics for the verification of imperative programs
by: David Miguel Ramalho Pereira
Published: (2019)

Transforming Coroutining Logic Programs into Equivalent CHR Programs
by: Vincent Nys, et al.
Published: (2017-08-01)

Verification of Imperative Programs by Constraint Logic Program Transformation
by: Emanuele De Angelis, et al.
Published: (2013-09-01)

Logic programming tools and techniques for imperative program verification
by: O'Neill, I. M.
Published: (1987)

Studies on Disjunctive Logic Programming
by: Sakama, Chiaki
Published: (2012)

Closed Types for Logic Programming
by: João Luís Alves Barbosa
Published: (2019)

Multithreaded Tabling for Logic Programming
by: Miguel João Gonçalves Areias
Published: (2019)

Programming Games for Logical Thinking
by: H. Tsalapatas
Published: (2013-03-01)

Computing with changing logic programs
by: Hayashi, Hisashi
Published: (2001)

Logic, programming and formal specification
by: Goldsmith, M. H.
Published: (1985)

Cognitive processes in logic programming
by: Ormerod, T. C.
Published: (1987)

Meta-control on logic programming
by: LIN, YAO-LING, et al.
Published: (1986)

The Methodology For Constraint Logic Programming
by: Lee,Chiu-Tung, et al.
Published: (1994)

On the semantics of disjunctive logic programs
by: Tsouanas, Athanasios
Published: (2014)

Induction of recursive logic programs.
by: Lapointe, Stéphane.
Published: (2009)

Abductive and constraint logic programming
by: Wetsel, Gerhard
Published: (1997)

Towards AND/OR parallel logic programming
by: Khabaza, Tom
Published: (1989)

Parallel execution of logic programs.
Published: (1988)

Meta-language in logic programming
by: Eshghi, Kave
Published: (1987)