C plus Prolog (via KnorrFG) — discussion

#c #plt