Prolog
Extension of
KNOWLOG (3380)