Table of contents

Prolog

%3 cluster_28a6d32c_0ae7_4b15_9eed_404e52cbf8e7 Prolog cluster_2f5f3369_b5ca_4f39_9043_d3c96ae8cc46 Implementations _55d5fa49_5dbd_418b_be61_34159ca20dc2 Scryer Prolog _a93c3c11_ad6f_484c_9460_945ff013f3f9 Logic programming _a93c3c11_ad6f_484c_9460_945ff013f3f9->__0:cluster_28a6d32c_0ae7_4b15_9eed_404e52cbf8e7 _5c1c8d19_585d_4f53_8f07_7cfa5b3d779b Procedures -> goals and constraints _5c1c8d19_585d_4f53_8f07_7cfa5b3d779b->__1:cluster_28a6d32c_0ae7_4b15_9eed_404e52cbf8e7