more....
Prolog extended with explicit negation. Dov Gabbay <dg@doc.ic.ac.uk>.
[J Logic Programming].
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)