#declarative programming #goal oriented #backward chaining #prolog syntax #specification