Crane Crunching In the Development Cylce of Our Products

Crane Crunching In the Development Cylce of Our Products

Introduction Our cranes are extremely versatile devices and if in action they are ever-changing their form. Obviously, you can consider our cranes as a kinematic system like robot arms. Our customers are promised stability and longevity of our products. Therefore, we maintain … Read more

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 … Read more

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 … Read more