PART 2. PROLOG, RESOLUTION PRINCIPLE

PART 2. PROLOG, RESOLUTION PRINCIPLE

In the last blog article, we solved the simple task of appending lists. This article will describe how Prolog works in general so we will cover the resolution principle. Prolog is based on the first order predicate logic and is therefore … Weiterlesen

Part 1. Prolog, Logic and Artificial Intelligence

Part 1. Prolog, Logic and Artificial Intelligence

The theme of this little blog sequence is the logic programming language Prolog. It is associated with artificial intelligence and computational linguistics. Karl Valentin once said. “Am besten beginnt man mit dem Anfang, das hat sich bewährt“. Which roughly translates into, “Experience … Weiterlesen