abstract: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.
Dr Fril has used this knowledge to create a FrenchFlag fish, with a blue head, a white body and a red tail, and hopes to follow it soon with one depicting the stars and stripes.