Singleton, Velva and Saxton, Liza (2012) Logic programming & type theory. College Publishing House, Delhi, India. ISBN 978-81-323-1287-1
Preview |
Text
VelvaSingleton&LizaSaxton2012_LogicProgramming&TypeTheory.pdf - Published Version Download (1MB) | Preview |
Abstract
Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a theorem-prover or model-generator is used as the problem-solver. The problem-solving task is split between the programmer, who is responsible only for ensuring the truth of programs expressed in logical form, and the theorem-prover or model-generator, which is responsible for solving problems efficiently.
| Item Type: | Book |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software T Technology > T Technology (General) |
| Divisions: | Electronic Books |
| Depositing User: | Practical Student 02 |
| Date Deposited: | 03 Nov 2021 04:39 |
| Last Modified: | 21 Aug 2022 03:54 |
| URI: | http://odlsystem2.utm.my/id/eprint/2380 |
Actions (login required)
 |
View Item |