The Ciao Prolog System (Prolog implementation targeting WASM)

The Ciao System

Ciao – Logic, constraint, functional, higher-order, and object-oriented language