Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) ⋆

by Oleg Kiselyov , William E. Byrd , Daniel P. Friedman , Chung-chieh Shan

Active Bibliography

Relational Programming in MiniKanren: Techniques, . . . – William E. Byrd - 2009
281 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
15 Foundations of rule-based query answering – François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei - 2007
5 Meta-Circular Abstract Interpretation in Prolog – Michael Codish, Harald Søndergaard
1 LOGIC PROGRAMS AND CARDINALITY CONSTRAINTS -- Theory and Practice – Tommi Syrjänen - 2009
Rule-Based Interactive Fiction (Full Presentation) – Chris R. Martens, Zachary A. Sparks, Claire E. Alvis, William E. Byrd
1 D.P.: From variadic functions to variadic relations: A miniKanren perspective – William E. Byrd, Daniel P. Friedman - 2006
11 Proving existential termination of normal logic programs – Massimo Marchiori - 1996
10 Verification of Logic Programs – Dino Pedreschi, Salvatore Ruggieri - 1997
1 A machine checked model of MGU axioms: applications of finite maps and functional induction – Sunil Kothari, James Caldwell - 2009
Resolution-Based Reasoning for Ontologies – Boris Motik
Logic Programming for Healthcare Informatics: an Informal Survey – Terrance Swift
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
2 On the Indiscernibility of Individuals in Logic Programming – Thomas Eiter, Georg Gottlob, Nicola Leone - 1997
87 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
A Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems – Matthias Broecheler, Cristian Molinaro, Università Della Calabria
5 Proving properties of constraint logic programs by eliminating existential variables – Alberto Pettorossi, Maurizio Proietti, Valerio Senni - 2006
Chapter 4 Constraint Programming – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Francesca Rossi, Peter Van Beek, Toby Walsh
3 VERIFYING INFINITE STATE SYSTEMS BY SPECIALIZING CONSTRAINT LOGIC PROGRAMS – F. Fioravanti, A. Pettorossi, M. Proietti