Quá trình này đòi hỏi các trình biên dịch để biết, tại thời gian biên dịch, các loại của đối tượng đó là gọi chức năng thành viên để có thể tính toán chính xác bù đắp vào vtable. Của công văn này là rất nhanh, đòi hỏi chỉ là một vài hoạt động con trỏ và đọc cho con trỏ chức năng. Cách Objective-C, được mô tả chi tiết trong Chương 3, | Learn Prolog Now Patrick Blackburn Johan Bos Kristina Striegnitz Copyright @ by Patrick Blackburn Johan Bos and Kristina Striegnitz 2001 patrick@ jbos@ kris@ This course is also available online http kris learn-prolog-now Contents 1 Facts Rules and Queries 1 Some simple examples. 1 Knowledge Base 1. 1 Knowledge Base 2. 3 Knowledge Base 3. 4 Knowledge Base 4. 6 Knowledge Base 5. 8 Prolog Syntax. 8 Atoms . 9 Numbers. 9 Variables. 9 Complex terms. 10 Exercises. 11 Practical Session 1. 13 2 Matching and Proof Search 17 Matching. 17 Examples. 19 The occurs check. 22 Programming with matching. 23 Proof Search. 26 Exercises. 31 Practical Session 2. .
