Web Development

Fact

  Facts are statements that describe object properties or relations between objects. Let us imagine we want to encode that Ulysses, Penelope, Telemachus, Achilles, and others are characters of Homer’s ended with a period:  From these examples, we understand that the general form of a Prolog fact is: relation(object1, object2, …, objectn) objects, such as normally… Continue reading Fact

Web Development

An Introduction to Prolog

Prolog was designed in the 1970s by Alain Colmerauer and a team of researchers with the idea – new at that time – that it was possible to use logic to represent knowledge and to write programs. More precisely, Prolog uses a subset of predicate logic and draws its structure from theoretical works of earlier… Continue reading An Introduction to Prolog