10 citations · 18 across the 8 of their papers we have counts for
9 papers
The Logic of Logic Programming
Marc Denecker, David S. Warren
Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarit…
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
David S. Warren, Peter Van Roy, Yanhong A. Liu
This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtua…
LPOP: Challenges and Advances in Logic and Practice of Programming
David S. Warren, Yanhong A. Liu
This article describes the work presented at the first Logic and Practice of Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in conjunction with the Fe…
Top-down and Bottom-up Evaluation Procedurally Integrated
David S. Warren
This paper describes how XSB combines top-down and bottom-up computation through the mechanisms of variant tabling and subsumptive tabling with abstraction, respectively. It is wel…
AppLP: A Dialogue on Applications of Logic Programming
David S. Warren, Yanhong A. Liu
This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Confere…
Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB
Spyros Hadjichristodoulou, Donald E. Porter, David S. Warren
In this paper we investigate XSB-Prolog as a static analysis engine for data represented by medium-sized graphs. We use XSB-Prolog to automatically identify function dependencies i…