Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

article · Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) · 1985

On the Integration of Logic Programming and Functional Programming.

Randy E. Rhodes

Cited by 0Open access

Abstract

Two programming paradigms, logic programming and functional programming, are discussed in detail with emphasis on the particular advantages and disadvantages of each paradigm. The integration of these two programming paradigms is explored based on the notion that declarative sorts of knowledge (facts and logical relationships) should be expressed in a declarative way, and that procedural sorts of knowledge (manipulation, control, and utilization of knowledge) should be expressed in a procedural way. Toward this end, the conceptual framework for an integrated language is established, and the basic features of the language are outlined. (Author)

Cite this paper

APA 7

Rhodes, R. E. (1985). On the Integration of Logic Programming and Functional Programming. Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School).

MLA 9

Rhodes, Randy E. “On the Integration of Logic Programming and Functional Programming.” Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School), 1985.

Chicago

Rhodes, Randy E. 1985. “On the Integration of Logic Programming and Functional Programming.” Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School).

Harvard

Rhodes, R.E. (1985) ‘On the Integration of Logic Programming and Functional Programming’, Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School).

BibTeX
@article{rhodes1985integration,
  title = {{On the Integration of Logic Programming and Functional Programming.}},
  author = {Rhodes, Randy E.},
  journal = {Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School)},
  year = {1985}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers