Coalgebraic logic programming : from semantics to implementation
- Submitting institution
-
University of Dundee
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 39893198
- Type
- D - Journal article
- DOI
-
10.1093/logcom/exu026
- Title of journal
- Journal of Logic and Computation
- Article number
- -
- First page
- 745
- Volume
- 26
- Issue
- 2
- ISSN
- 0955-792X
- Open access status
- Out of scope for open access requirements
- Month of publication
- May
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 11
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper gives a coherent semantic account of parallelism and co-recursion arising in first-order resolution. It starts with novel results in category-theoretic semantics, proceeds with a novel operational semantics, and culminates in implementation of a new dialect, CoALP, of logic programming. There is a prototype implementation that accompanies this paper. It led to Komendantskaya’s invited talks at Shonan 2017, ALCOOP 2017, ARW 2018, FLoC 2018 Coalgebra Workshop, as well as invited seminars at the Universities of Oxford, Birmingham, Bath, and Cambridge.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -