Theory and Practice of Logic Programming is the journal of the Association for Logic Programming. 

Mission

The Association for Logic Programming (ALP) was founded in 1986, with the mission to contribute to the development of Logic Programming, relate it to other formal and also to humanistic sciences, and to promote its uses in academia and industry all over the world. 

Vision 

Logic Programming has matured considerably since its inception, to the point that some of its branches (e.g. Constraint Logic Programming, Natural Language Processing, Inductive Logic Programming, Abductive Logic Programming, Tabling, Constraint Handling Rules) have grown into independent areas with their own venues, while cross-fertilizations with other areas have resulted in independent LP areas as well (e.g. LP and Non Monotonic Reasoning). Meanwhile, the world is becoming more comfortable with higher level programming as a basis for trustworthy software. It is now time to focus on three main challenges, which we exhort our members to pursue:

Association of Logic Programming (ALP)