Parallelism in Logic Programming: A Systematic Literature Review


Parallelism in Logic Programming: A Systematic Literature Review

survey project

Authors

Abstract

A logic program is expressed as a set of logical formulas precisely specifying what is true. This approach to programming is different from the others, where the concern is how a specific problem should be solved. Here, the specification how a problem is to be solved is expressed in the form of a precise sequence of steps executed by an engine.
One of the most attractive features of logic programming is the clean separation of logic and control. The efficiency of the solution to a problem can be improved without any change in the solution itself. The programming language Prolog utilizing one of many possible evaluation (control) strategies, is an example of a successful logic programming language.
The aim of this work is to understand how a logic program can be parallelized and what are the techniques studied in the last 30 years with an analysis of the problems arised.
A Systematic Literature Review process has been carried out following a methodological approach, with the claim of becoming a starting point for defining new research areas and future projects.

Outcome

Course

— a.y.

2020/2021

— credits

6

— cycle

2nd cycle

— language

wgb.gif

Teachers

— professor

Andrea Omicini

— other professors

Roberta Calegari

— tutors

Giovanni Ciatto

Context

— university

Alma Mater Studiorum-Università di Bologna

— campus

Cesena

— department / faculty / school

DISI

— 2nd cycle

8614 Ingegneria e scienze informatiche 

URLs & IDs

AMS Page
course on Virtuale
virtual room
Course Timetable

— course ID

91410

Related Courses

— components

Autonomous Systems (Module 1) (2nd Cycle, 2020/2021) — Andrea Omicini  |  Autonomous Systems (Module 2) (2nd Cycle, 2020/2021) — Roberta Calegari

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY