Adobe PDF (445.01 kB)
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