λProlog is a higher-order dialect of Prolog.
On the other hand, HiLog is said to use higher-order syntax with first-order model theory.
Is it safe to say that
