Prolog

This page describes Prolog in more detail.