LOGICAL ARITHMETIC

Simple item page
dc.contributor.authorCleary, John G.
dc.date.accessioned2008-02-27T16:56:20Z
dc.date.available2008-02-27T16:56:20Z
dc.date.computerscience1999-05-27
dc.date.issued1986-03-01
dc.description.abstractIn the past, implementations of real arithmetic within logic programming have been non-logical. Difficulties include an inability to alter the order of execution of statements and incorrect handling of the different results caused by finite precision arithmetic. Using interval analysis a simple description of real arithmetic is possible. This can be translated to an implementation within Prolog. As well as having a sound logical basis the resulting system allows a very concise and powerful programming style and is potentially very efficient.eng
dc.description.notesWe are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.ca
dc.identifier.department1986-235-9
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/30551
dc.identifier.urihttp://hdl.handle.net/1880/45818
dc.language.isoEng
dc.publisher.corporateUniversity of Calgary
dc.publisher.facultyScience
dc.subjectComputer Scienceeng
dc.titleLOGICAL ARITHMETICeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
1986-235-9.pdf
Size:
2.22 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.86 KB
Format:
Plain Text
Description:
Download

Collections

Science Research & Publications

Powered by

Libraries & Cultural Resources

Start Something.

University of Calgary
2500 University Drive NW
Calgary Alberta T2N 1N4
CANADA

Copyright © 2023

The University of Calgary, located in the heart of Southern Alberta, both acknowledges and pays tribute to the traditional territories of the peoples of Treaty 7, which include the Blackfoot Confederacy (comprised of the Siksika, the Piikani, and the Kainai First Nations), the Tsuut’ina First Nation, and the Stoney Nakoda (including Chiniki, Bearspaw, and Goodstoney First Nations). The City of Calgary is also home to the Métis Nation of Alberta (Districts 5 and 6).

The University of Calgary is situated on land Northwest of where the Bow River meets the Elbow River, a site traditionally known as Moh’kins’tsis to the Blackfoot, Wîchîspa to the Stoney Nakoda, and Guts’ists’i to the Tsuut’ina. On this land and in this place we strive to learn together, walk together, and grow together “in a good way.”