Prolog atom

1. REDIRECT Prolog#Data types

{{R from subtopic}}{{R to section}}