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 tools of Artificial Intelligence (AI).

Learning Objective: To reinforce the understanding on the use of Prolog as a tool of logic programming and the specification of declarative knowledge – semantic information. Learning Outcome: a) ...

This repository showcases the power of the declarative paradigm through two distinct applications developed in SWI-Prolog. Unlike imperative programming, these projects focus on defining formal ...

Abstract: In this paper we address the problem of efficiently implementing HiLog, a logic programming language with higher-order syntax and first-order semantics. In contrast to approaches proposed in ...

Abstract: GUPU is a programming environment specialized for Prolog programming courses which supports a novel way to teaching Prolog. The major improvement in teaching Prolog concerns how programs are ...

Intelligence artificielle / Cinquantième anniversaire de Prolog : Participez au prix Alain Colmerauer La date de soumission est fixée au 2 septembre et le prix sera remis le 10 novembre au cours du « ...