2
Sử dụng các mục tiêu dư thừa trong các truy vấn
(Theo đề xuất của @repeat ) Hãy xem xét một truy vấn của chương trình thuần túy 1 ?- G_0. Sử dụng nếu có bất kỳ truy vấn ?- G_0, G_0.nào? Chú thích 1 Không có tabling (để an toàn), các ràng buộc là OK. Bài trước về chủ đề.