AI Chat AI Image Generator AI Video Text to Speech

The Prolog debugger and declarative programming

06/11/2019

∙

by Włodzimierz Drabent, et al.

∙

∙

Logic programming is a declarative programming paradigm. Programming language Prolog makes logic programming possible, at least to a substantial extent. However the Prolog debugger works solely in terms of the operational semantics. So it is incompatible with declarative programming. This report discusses this issue and tries to find how the debugger may be used from the declarative point of view.

page 1

page 2

page 3

page 4

research

∙ 03/03/2020

The Prolog Debugger and Declarative Programming. Examples

This paper contains examples for a companion paper "The Prolog Debugger ...

0 Włodzimierz Drabent, et al. ∙

research

∙ 08/30/2023

On Feasibility of Declarative Diagnosis

The programming language Prolog makes declarative programming possible, ...

0 Włodzimierz Drabent, et al. ∙

research

∙ 07/26/2011

ALPprolog --- A New Logic Programming Method for Dynamic Domains

Logic programming is a powerful paradigm for programming autonomous agen...

0 Conrad Drescher, et al. ∙

research

∙ 03/13/2000

A note on the Declarative reading(s) of Logic Programming

This paper analyses the declarative readings of logic programming. Logic...

0 Marc Denecker, et al. ∙

research

∙ 03/02/2021

The Fusemate Logic Programming System (System Description)

Fusemate is a logic programming system that implements the possible mode...

0 Peter Baumgartner, et al. ∙

research

∙ 05/12/2022

IVOIRE Deliverable 1.1: Classification of existing VOs tools and Formalization of VOs semantics

This report discusses the foundations of the VO approach. Then, it explo...

0 Sebastian Stock, et al. ∙

research

∙ 09/05/2022

A Formal Theory of Choreographic Programming

Choreographic programming is a paradigm for writing coordination plans f...

0 Luís Cruz-Filipe, et al. ∙