Prolog Based Languages - 2

Oz

Whilst not strictly developed from Prolog, the logic-programming paradigm contained in Oz features similar functionality to it. Oz is known as a multi-paradigm language, meaning that it incorporates two or more known programming paradigms. Despite these different paradigms, Oz is particularly good for constraint programming and distributed (Concurrent) programming.

Fril

Fuzzy Relational Inference Language (Fril) inherits the semantics of Prolog but uses the syntax of another Prolog descendant called micro-Prolog. A major edition to Fril (as suggested by the title) is the inclusion of fuzzy sets. Like many modern Prologs, Fril also includes support for meta-programming.