Efficient Support for Mode-Directed Tabling in the YapTab Tabling System

João Santos Ricardo Rocha

Published in: CoRR (2013)

Keyphrases

logic programming
model checking
real time
information retrieval
computer vision
general purpose
cost effective
practical problems
constraint logic programming
logic programming language
efficient execution