• DWAM

  • 3篇参考文献[SW0624]
  • DWAM-析取逻辑的WAM模型扩展…
  • XSB

  • 136篇参考文献[SW1387]
  • XSB是一个逻辑编程和演绎数据库…