SECTION:  Artificial Inte.../ AI languages/ PROLOG/