Prolog

C-Prolog; IC Prolog II; Open Prolog; Schelog;