Enrico Pontelli Laboratory for Logic, Databases, and Advanced Programming New Mexico State University