XSB

Most Relevant Related Tags

• prolog [50%]
  
• programming language [25%]
  
• uppsala university [25%]
  
• open source [25%]
  
• new university of lisbon [25%]
  
• katholieke universiteit leuven [25%]
  
• logic programming [25%]
  
• memoization [25%]
  
• higher-order logic [25%]
  

This is the cloud of related tags for the XSB concept

higher-order logic katholieke universiteit leuven logic programming memoization new university of lisbon open source programming language prolog uppsala university