SEMLOG: A multiparadigm programming language for knowledge engineering - Parthasarathy Bhasker (1988)