We partner with a secure submission system to handle manuscript submissions.
Please note:
You will need an account for the submission system, which is separate to your Cambridge Core account. For login and submission support, please visit the
submission and support pages.
Please review this journal's author instructions, particularly the
preparing your materials
page, before submitting your manuscript.
Click Proceed to submission system to continue to our partner's website.
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: