Coinductive Logic Programming
From MaRDI portal
Publication:5449611
DOI10.1007/11799573_25zbMath1131.68400MaRDI QIDQ5449611
Gopal Gupta, Luke Simon, Ajay Bansal, Ajay Mallya
Publication date: 11 March 2008
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11799573_25
68N17: Logic programming
Related Items
Coinductive big-step operational semantics, Constraint-based correctness proofs for logic program transformations, Extracting Proofs from Tabled Proof Search, Idealized coinductive type systems for imperative object-oriented programs, Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?, Type Inference by Coinductive Logic Programming