共 50 条
- [23] Prolog Cafe: A prolog to Java']Java translator system DECLARATIVE PROGRAMMING FOR KNOWLEDGE MANAGEMENT, 2006, 4369 : 1 - +
- [25] Integrating an answer set solver into Prolog: ASP - PROLOG LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2005, 3662 : 399 - 404