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).

Implement a logical task using the Prolog environment. Enter the task data according to your option and check the operation of your program. The task from N.Virta's book "Algorithms + Data Structures ...

SWI-Prolog is the world's most popular implementation of the Prolog programming language. Its development started at the University of Amsterdam and is now shared between the Vrije Universiteit (VU) ...

OL(P), Object Layer for Prolog, is an object-oriented extension to Prolog. It provides an object-oriented structuring and reuse mechanism for Prolog in a manner that preserves performance and ...

Implement a logical task using the Prolog environment. Enter the task data according to your option and check the operation of your program. The task from N.Virta's book "Algorithms + Data Structures ...

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 ...

Prolog is a logic programming language developed in the early 1970s that is about objects and relationships between objects. It aims to be a declarative programming language, i.e. Prolog programs ...

Abstract: Prolog is a well-known logic programming language. A Prolog program is essentially a set of knowledge predicates. A query can be executed on the knowledge set by the Prolog engine, which ...