Catalogue of artificial intelligence tools (Symbolic computation-Artificial Intelligence, 1986)