Semantic resolution tree
একটি শব্দার্থিক রেজোলিউশন ট্রি হল একটি গাছ যা একটি প্রোগ্রামিং ভাষার শব্দার্থবিজ্ঞানের সংজ্ঞার জন্য ব্যবহৃত হয়। এগুলি প্রায়শই প্রথম-ক্রমের ভবিষ্যদ্বাণী যুক্তিতে ধারাগুলির অসন্তোষ দেখানোর জন্য একটি তাত্ত্বিক সরঞ্জাম হিসাবে ব্যবহৃত হয়। তথ্যসূত্র গাছ (তথ্য কাঠামো)