An abstract model for parallel execution of prolog

Logic programming has been used in a broad range of fields, from artifficial intelligence applications to general purpose applications, with great success. Through its declarative semantics, by making use of logical conjunctions and disjunctions, logic programming languages present two types of impl...

Full description

Bibliographic Details
Main Author: Patinho, Pedro José Grilo Lopes (author)
Format: doctoralThesis
Language:por
Published: 2017
Subjects:
Online Access:http://hdl.handle.net/10174/21002
Country:Portugal
Oai:oai:dspace.uevora.pt:10174/21002