LogiQL and Predicate Logic
LogiQL is a programming language capable of computing correct answers for properly formulated problems. It has evolved from efforts to apply formal logical reasoning to databases, and this appendix describes the relationship between logic and LogiQL. In particular, the appendix describes how Log...
| Main Authors: | , |
|---|---|
| Format: | Book Section |
| Language: | English |
| Published: |
Taylor & Francis Group
2015
|
| Subjects: | |
| Online Access: | http://eprints.intimal.edu.my/338/ http://eprints.intimal.edu.my/338/1/17_ft.pdf |