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/). It is also endorsed by SPARC, the Scholarly Publishing & Academic Resources Coalition (URL: www.arl.org/sparc).
Book Reviews
Books for review, or suggestions for reviews, should be sent to the reviews editor, Alberto Pettorossi ([email protected])
Technical notes
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.
Electronic manuscripts
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.
Proofreading
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.
Author affiliations
Author affiliations should represent the institution(s) at which the research presented was conducted and/or supported and/or approved. For non-research content, any affiliations should represent the institution(s) with which each author is currently affiliated.
For more information, please see our author affiliation policy and author affiliation FAQs.
Author Hub
You can find guides for many aspects of publishing with Cambridge at Author Hub, our suite of resources for Cambridge authors.
Authorship and contributorship
All authors listed on any papers submitted to this journal must be in agreement that the authors listed would all be considered authors according to disciplinary norms, and that no authors who would reasonably be considered an author have been excluded. For further details on this journal’s authorship policy, please see this journal's publishing ethics policies.
Competing Interests
All authors must include a competing interest declaration in their main manuscript file. This declaration will be subject to editorial review and may be published in the article.
Competing interests are situations that could be perceived to exert an undue influence on the content or publication of an author’s work. They may include, but are not limited to, financial, professional, contractual or personal relationships or situations.
If the manuscript has multiple authors, the author submitting must include competing interest declarations relevant to all contributing authors.
Example wording for a declaration is as follows: “Competing interests: Author 1 is employed at organisation A, Author 2 is on the Board of company B and is a member of organisation C. Author 3 has received grants from company D.” If no competing interests exist, the declaration should state “Competing interests: The author(s) declare none”.
English language editing services
Authors, particularly those whose first language is not English, may wish to have their English-language manuscripts checked by a native speaker before submission. This step is optional, but may help to ensure that the academic content of the paper is fully understood by the Editor and any reviewers.
In order to help prospective authors to prepare for submission and to reach their publication goals, Cambridge University Press offers a range of high-quality manuscript preparation services, including language editing. You can find out more on our language services page.
Please note that the use of any of these services is voluntary, and at the author's own expense. Use of these services does not guarantee that the manuscript will be accepted for publication, nor does it restrict the author to submitting to a Cambridge-published journal.
ORCID
We require all corresponding authors to identify themselves using ORCID when submitting a manuscript to this journal. ORCID provides a unique identifier for researchers and, through integration with key research workflows such as manuscript submission and grant applications, provides the following benefits:
- Discoverability: ORCID increases the discoverability of your publications, by enabling smarter publisher systems and by helping readers to reliably find work that you have authored.
- Convenience: As more organisations use ORCID, providing your iD or using it to register for services will automatically link activities to your ORCID record, and will enable you to share this information with other systems and platforms you use, saving you re-keying information multiple times.
- Keeping track: Your ORCID record is a neat place to store and (if you choose) share validated information about your research activities and affiliations.
See our ORCID FAQs for more information.
If you don’t already have an iD, you will need to create one if you decide to submit a manuscript to this journal. You can register for one directly from your user account on ScholarOne, or alternatively via https://ORCID.org/register.
If you already have an iD, please use this when submitting your manuscript, either by linking it to your ScholarOne account, or by supplying it during submission using the "Associate your existing ORCID iD" button.
ORCIDs can also be used if authors wish to communicate to readers up-to-date information about how they wish to be addressed or referred to (for example, they wish to include pronouns, additional titles, honorifics, name variations, etc.) alongside their published articles. We encourage authors to make use of the ORCID profile’s “Published Name” field for this purpose. This is entirely optional for authors who wish to communicate such information in connection with their article. Please note that this method is not currently recommended for author name changes: see Cambridge’s author name change policy if you want to change your name on an already published article. See our ORCID FAQs for more information.
Policy on prior publication
When authors submit manuscripts to this journal, these manuscripts should not be under consideration, accepted for publication or in press within a different journal, book or similar entity, unless explicit permission or agreement has been sought from all entities involved. However, deposition of a preprint on the author’s personal website, in an institutional repository, or in a preprint archive shall not be viewed as prior or duplicate publication. Authors should follow the Cambridge University Press Preprint Policy regarding preprint archives and maintaining the version of record.
Supplementary materials
Material that is not essential to understanding or supporting a manuscript, but which may nonetheless be relevant or interesting to readers, may be submitted as supplementary material. Supplementary material will be published online alongside your article, but will not be published in the pages of the journal. Types of supplementary material may include, but are not limited to, appendices, additional tables or figures, datasets, videos, and sound files.
Supplementary materials will not be typeset or copyedited, so should be supplied exactly as they are to appear online. Please see our general guidance on supplementary materials for further information.
Where relevant we encourage authors to publish additional qualitative or quantitative research outputs in an appropriate repository, and cite these in manuscripts.