Project STAMPA
Project Title
STAMPA - Sophisticated TAbling Mechanisms for Prolog and their Applications
Project Reference
PTDC/EIA/67738/2006
Funding Entity
FCT
Funding in Euros
150,000
Starting Date
January 2008
Duration in Months
36
Principal Investigator
Ricardo Rocha
Project Goals
Develop novel techniques and models to improve the execution of
tabling logic programming in order to solve complex real-world
problems, mainly, in four well-known and established Logic Programming
paradigms: Inductive Logic Programming, Deductive Databases, Answer
Set Programming and the Extended Andorra Model.
Keywords
Logic Programming
Tabling
Implementation
Applications