To view the PDF file linked above, you will need Adobe Acrobat Reader.
Theory and Practice of Logic Programming
Aims and scope
Theory and Practice of Logic Programming (TPLP) is an international journal that publishes refereed papers covering both the theory and the practice of logic programming. Among the topics to be covered by TPLP are AI applications that use logic programming, natural language processing, knowledge representation, non-monotonic reasoning, databases, implementations and architectures, and constraint logic programming.
TPLP is the sole official journal of the Association for Logic Programming (ALP, http://logicprogramming.org/) and is offered to its members at a preferential rate. It is also endorsed by SPARC, the Scholarly Publishing & Academic Resources Coalition (URL: www.arl.org/sparc).
Submission of manuscripts
Manuscripts should be submitted via the website: https://mc.manuscriptcentral.com/tplp
The submitted manuscripts should not be published or simultaneously submitted to another journal or to a conference. Full versions of important conference papers are welcome. Upon acceptance of an article by the journal, the author(s) will be asked to transfer copyright of the article to Cambridge University Press.
Books for review, or suggestions for reviews, should be sent to the reviews editor, Alberto Pettorossi
Technical notes should not exceed 5000 words in length, excluding tables, figures, and the bibliography. They are given quick turnaround. Submissions should include an abstract and a reasonably accurate word count for the paper (excluding tables and figures, and the bibliography.
The publisher encourages the submission of final manuscripts written in LaTeX which can be used for direct typesetting. Authors can download style files from here.
Manuscripts should begin with an abstract of not more than 300 words at the end of which are 4 or 5 keywords. Avoid footnotes whenever possible. Papers should conform to a good standard of English prose; please consult a style guide such as ‘The Elements of Style’ by Strunk and White, Macmillan, New York. Presenting programs in one of the following two styles is encouraged: either with identifiers in italic and keywords in bold or entirely in a fixed-width teletype font. Do not begin a sentence with a symbol or identifier name.
Supply these as eps files as the Publisher cannot use original TeX files of illustrations. A hardcopy printout needs to be supplied of each illustration.
The Harvard system of references should be used. See style files.
Be sure to submit papers in their final form. Typographical and factual errors only may be changed at proof stage. The Publisher reserves the right to charge authors for extensive changes to their paper. No page charge is made. The spelling policy of the journal is to follow author’s American or British spelling as long as it is consistent within the paper.
No paper offprints are provided; instead authors are provided with a link to a server to which people should be directed for freely downloadable offprints.
Cambridge Language Editing Service
Cambridge recommends that authors who are non-native speakers of English have their manuscripts checked by a native English speaker before submission; this will ensure that any submissions that reach peer review are able to be judged exclusively on academic merit. We offer a Cambridge service which you can find out more about here, and suggest that authors contact as appropriate. Use of any of these services is voluntary, and at the author's own expense.