ACTION-4: discuss on email whether the \"pure prolog\" requirement can be replaced by a \"horn logic\" requirement or if we need both
discuss on email whether the \"pure prolog\" requirement can be replaced by a \"horn logic\" requirement or if we need both
- State:
- closed
- Person:
- Sandro Hawke
- Due on:
- April 30, 2006
- Created on:
- April 30, 2006
- Related emails:
- draft minutes from RIF telecon, 11 March 2008 (from cleo@us.ibm.com on 2008-03-11)
Related notes:
No additional notes.
Display change log.