INFO0049-1, Knowledge representation

Useful prolog links