Fril

Fril is a programming language for first-order predicate calculus. It includes the semantics of Prolog as a subset, but takes its syntax from the micro-PROLOG of Logic Programming Associates and adds support for fuzzy sets, support logic, and metaprogramming. Wikipedia

Designed by: Trevor Martin

Wikidata: Q5504566

Programming paradigms: logic programming

Language types: logic programming language