research
∙
04/26/2023
The Logic of Logic Programming
Our position is that logic programming is not programming in the Horn cl...
share
research
∙
11/17/2022
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
This proceedings contains abstracts and position papers for the work pre...
research
∙
08/15/2020
LPOP: Challenges and Advances in Logic and Practice of Programming
This article describes the work presented at the first Logic and Practic...
research
∙
04/23/2018
Top-down and Bottom-up Evaluation Procedurally Integrated
This paper describes how XSB combines top-down and bottom-up computation...
research
∙
04/07/2017