Title Details: | |
Logic Programming – Computation through Logic |
|
Authors: |
Stamatopoulos, Panagiotis |
Reviewer: |
Rontogiannis, Panagiotis |
Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS > BASIC KNOWLEDGE REPRESENTATION AND REASONING MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES > LOGIC PROGRAMMING |
Description: | |
Abstract: |
This chapter is divided into two sections. In the first section, a historical overview of logic and logic programming is attempted, while in the second, the modus ponens rule is presented and applied to simple examples.
|
Type: |
Chapter |
Creation Date: | 2015 |
Item Details: | |
License: |
Attribution - NonCommercial - ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
Handle | http://hdl.handle.net/11419/3588 |
Bibliographic Reference: | Stamatopoulos, P. (2015). Logic Programming – Computation through Logic [Chapter]. In Stamatopoulos, P. 2015. Logic and Functional Programming [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/3588 |
Language: |
Greek |
Is Part of: |
Logic and Functional Programming |
Publication Origin: |
Kallipos, Open Academic Editions |