1995
Comparing negation in logic programming and in Prolog
Publication
Publication
Additional Metadata | |
---|---|
MIT Press (Cambridge, MA) | |
Logic Programming | |
Organisation | Networks and Optimization |
Apt, K., & Teusink, F. (1995). Comparing negation in logic programming and in Prolog. In Meta-logics and logic programming (pp. 111–133). MIT Press (Cambridge, MA). |