Über Josef Söllhinger

Ist passionierter Leser, interessiert sich für Geschichte und macht beruflich "irgendetwas" mit Computern, so genau kann er das selber nicht sagen. Er hat eine formale Ausbildung in Software Engineering und Computer Sience. Die Themen Kryptographie und Logik beschäftigen ihn seither weiter. Occam's Razor findet er gut, das Induktionsproblem nicht. Bei PALFINGER arbeitet er im Web & Mobile Team.
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