1989
On the safe termination of PROLOG programs
Publication
Publication
Presented at the
International Conference on Logic Programming, Lisbon
Additional Metadata | |
---|---|
, , | |
MIT Press (Cambridge, MA) | |
Logic Programming | |
International Conference on Logic Programming | |
Organisation | Networks and Optimization |
Apt, K., Bol, R. N., & Klop, J. W. (1989). On the safe termination of PROLOG programs. In Logic programming (pp. 353–368). MIT Press (Cambridge, MA). |