Comparing negation in logic programming and in Prolog
| Authors |
|
|---|---|
| Publication date | 1995 |
| Host editors |
|
| Book title | Meta-logics and Logic Programming |
| Pages (from-to) | 111-133 |
| Publisher | Cambridge, Massachussets: The MIT Press |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |