ciao: The Ciao Prolog System

Ciao is a public domain, next generation programming environment with a unique set of features:

Ciao is distributed under the GNU General Public License.

Current version (1.5#169 of 2000/7/6):