4. 4. Implementation considerations

In this section I will try to give some details regarding the current implementation of YAILS.

• 4.1 YAP-prolog
• 4.2 Data-structures
• 4.3 Efficiency problems