3 ms·This system seems very similar to Prolog.by bjourne 4y agoThis system seems very similar to Prolog.