Prolog

Loogiseen päättelyyn kykenevä ohjelmointikieli