We describe DiaProlog, a dialogue logic programming language that extends the vanilla Prolog with the features to facilitate the integration of reasoning capabilities into task-oriented dialogue ...

Learning Constraint Logic Programming with Prolog This repo is a record of my attempt to research and learn Prolog programming using Constraint Logic Programming (CLP). The work here was greatly ...

The aim of our paper is to show how various reasoning puzzles can be used to teach the ICT students the craft of programming. We have described several reasoning puzzles here together with various ...

50 years ago, Alain Colmerauer laid the foundations of Prolog, the first computer language for "logic programming". Like LISP, it was to become one of the key t ...

We know object-oriented programming, imperative programming, we have even done functional programming, but there is also “logic programming”. Intuitively this means that you specify a set of criteria ...

Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...

The field of Probabilistic Logic Programming (PLP) has seen significant advances in the last 20 years, with many proposals for languages that combine probability with logic programming. Since the ...