test
final prolog program