Actions

LogicProgramming and LoriFinch: Difference between pages

Ontolog Forum

(Difference between pages)
imported>PeterYim
(init Last updated at: 2013-07-23 09:13:40 By user: PeterYim)
 
imported>PeterYim
(init Last updated at: 2014-03-31 21:06:48 By user: PeterYim)
 
Line 1: Line 1:
= Logic programming (LP) =
= Lori Finch =


Logic programming is a paradigm where computation arises from proof search in a logic according to a fixed, predictable strategy. It thereby unifies logical specification and implementation in a way that is quite different from the other 3 main programming paradigms (functional, imperative, or object oriented programming). Its theory of computation is based on first order logic.
[[USDA]] National Agricultural Library


see: https://en.wikipedia.org/wiki/Logic_programming 
email: Lori.Finch [at] ars.usda.gov


[[Category:Person]]   [[Category:Tool_System]]
''... Lori, at your convenience, please edit and expand on this page, and keep it updated so the community can get to know you better. Welcome! ... (read [[WikiHomePage|this]] if it's your first time editing the Ontolog wiki.)  =ppy''
 
[[Category:Person]]









Latest revision as of 04:19, 14 December 2015

Lori Finch

USDA National Agricultural Library

email: Lori.Finch [at] ars.usda.gov

... Lori, at your convenience, please edit and expand on this page, and keep it updated so the community can get to know you better. Welcome! ... (read this if it's your first time editing the Ontolog wiki.) =ppy