About

A logic programming language.

history | excerpt history