Truth versus information in logic programming

The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood but also for “undefined”. The three-valued semantics proposed by...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 14; no. 6; pp. 803 - 840
Main Authors:	NAISH, LEE, SØNDERGAARD, HARALD
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.11.2014
Subjects:	Allowances Fittings Logic Logic programming Operators Order disorder Regular Papers Semantics Specifications many-valued logic information order modes declarative debugging program analysis logic program specification intended interpretation specification semantics
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Abstract	The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood but also for “undefined”. The three-valued semantics proposed by Fitting (Fitting, M. 1985. A Kripke–Kleene semantics for logic programs. Journal of Logic Programming 2, 4, 295–312) and Kunen (Kunen, K. 1987. Negation in logic programming. Journal of Logic Programming 4, 4, 289–308) are closely related to what is computed by a logic program, the third truth value being associated with non-termination. A different three-valued semantics, proposed by Naish, shared much with those of Fitting and Kunen but incorporated allowances for programmer intent, the third truth value being associated with underspecification. Naish used an (apparently) novel “arrow” operator to relate the intended meaning of left and right sides of predicate definitions. In this paper we suggest that the additional truth values of Fitting/Kunen and Naish are best viewed as duals. We use Belnap's four-valued logic (Belnap, N. D. 1977. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, Eds. D. Reidel, Dordrecht, Netherlands, 8–37), also used elsewhere by Fitting, to unify the two three-valued approaches. The truth values are arranged in a bilattice, which supports the classical ordering on truth values as well as the “information ordering”. We note that the “arrow” operator of Naish (and our four-valued extension) is essentially the information ordering, whereas the classical arrow denotes the truth ordering. This allows us to shed new light on many aspects of logic programming, including program analysis, type and mode systems, declarative debugging and the relationships between specifications and programs, and successive execution states of a program.
AbstractList	The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood but also for "undefined". The three-valued semantics proposed by Fitting (Fitting, M. 1985. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming 2, 4, 295-312) and Kunen (Kunen, K. 1987. Negation in logic programming. Journal of Logic Programming 4, 4, 289-308) are closely related to what is computed by a logic program, the third truth value being associated with non-termination. A different three-valued semantics, proposed by Naish, shared much with those of Fitting and Kunen but incorporated allowances for programmer intent, the third truth value being associated with underspecification. Naish used an (apparently) novel "arrow" operator to relate the intended meaning of left and right sides of predicate definitions. In this paper we suggest that the additional truth values of Fitting/Kunen and Naish are best viewed as duals. We use Belnap's four-valued logic (Belnap, N. D. 1977. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, Eds. D. Reidel, Dordrecht, Netherlands, 8-37), also used elsewhere by Fitting, to unify the two three-valued approaches. The truth values are arranged in a bilattice, which supports the classical ordering on truth values as well as the "information ordering". We note that the "arrow" operator of Naish (and our four-valued extension) is essentially the information ordering, whereas the classical arrow denotes the truth ordering. This allows us to shed new light on many aspects of logic programming, including program analysis, type and mode systems, declarative debugging and the relationships between specifications and programs, and successive execution states of a program. Abstract The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood but also for "undefined". The three-valued semantics proposed by Fitting (Fitting, M. 1985. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming 2, 4, 295-312) and Kunen (Kunen, K. 1987. Negation in logic programming. Journal of Logic Programming 4, 4, 289-308) are closely related to what is computed by a logic program, the third truth value being associated with non-termination. A different three-valued semantics, proposed by Naish, shared much with those of Fitting and Kunen but incorporated allowances for programmer intent, the third truth value being associated with underspecification. Naish used an (apparently) novel "arrow" operator to relate the intended meaning of left and right sides of predicate definitions. In this paper we suggest that the additional truth values of Fitting/Kunen and Naish are best viewed as duals. We use Belnap's four-valued logic (Belnap, N. D. 1977. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, Eds. D. Reidel, Dordrecht, Netherlands, 8-37), also used elsewhere by Fitting, to unify the two three-valued approaches. The truth values are arranged in a bilattice, which supports the classical ordering on truth values as well as the "information ordering". We note that the "arrow" operator of Naish (and our four-valued extension) is essentially the information ordering, whereas the classical arrow denotes the truth ordering. This allows us to shed new light on many aspects of logic programming, including program analysis, type and mode systems, declarative debugging and the relationships between specifications and programs, and successive execution states of a program. The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood but also for “undefined”. The three-valued semantics proposed by Fitting (Fitting, M. 1985. A Kripke–Kleene semantics for logic programs. Journal of Logic Programming 2 , 4, 295–312) and Kunen (Kunen, K. 1987. Negation in logic programming. Journal of Logic Programming 4 , 4, 289–308) are closely related to what is computed by a logic program, the third truth value being associated with non-termination. A different three-valued semantics, proposed by Naish, shared much with those of Fitting and Kunen but incorporated allowances for programmer intent, the third truth value being associated with underspecification. Naish used an (apparently) novel “arrow” operator to relate the intended meaning of left and right sides of predicate definitions. In this paper we suggest that the additional truth values of Fitting/Kunen and Naish are best viewed as duals. We use Belnap's four-valued logic (Belnap, N. D. 1977. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic , J. M. Dunn and G. Epstein, Eds. D. Reidel, Dordrecht, Netherlands, 8–37), also used elsewhere by Fitting, to unify the two three-valued approaches. The truth values are arranged in a bilattice, which supports the classical ordering on truth values as well as the “information ordering”. We note that the “arrow” operator of Naish (and our four-valued extension) is essentially the information ordering, whereas the classical arrow denotes the truth ordering. This allows us to shed new light on many aspects of logic programming, including program analysis, type and mode systems, declarative debugging and the relationships between specifications and programs, and successive execution states of a program.
Author	NAISH, LEE SØNDERGAARD, HARALD
Author_xml	– sequence: 1 givenname: LEE surname: NAISH fullname: NAISH, LEE email: lee@unimelb.edu.au organization: Department of Computing and Information Systems, The University of Melbourne, Victoria 3010, Australia (e-mail: lee@unimelb.edu.au, harald@unimelb.edu.au) – sequence: 2 givenname: HARALD surname: SØNDERGAARD fullname: SØNDERGAARD, HARALD email: lee@unimelb.edu.au organization: Department of Computing and Information Systems, The University of Melbourne, Victoria 3010, Australia (e-mail: lee@unimelb.edu.au, harald@unimelb.edu.au)
BookMark	eNp9kEtPwzAMxyM0JLbBB-BWiQuXgt20SXtEEy9pEgfGuUqatGRqm5G0SHx7sscBDYEvtuz_z68ZmfS214RcItwgIL99xZQjsDxFCsFYcUKmIZXFFHKc7GKMt_UzMvN-DYCMJumUxCs3Du_Rp3Z-9JHpa-s6MRjbhzhqbWOqaONs40TXmb45J6e1aL2-OPg5eXu4Xy2e4uXL4_PibhlXNIMhVkImVGRKQJZSCkIomSUoUNU0Y1ABZ1TWeZHIJEmp4DKVUiudY5YrpYuqpnNyve8bZn-M2g9lZ3yl21b02o6-RM4S4JwyGqRXR9K1HV0ftiuRYUqhAMqDiu9VlbPeO12XlRl2dw5OmLZEKLdvLH-9MZB4RG6c6YT7-pehB0Z00hnV6B9L_Ul9A1YJg-M
CitedBy_id	crossref_primary_10_1109_TCAD_2014_2304176 crossref_primary_10_1145_2898434
Cites_doi	10.1007/3-540-36377-7_6 10.1016/S0304-3975(00)00330-3 10.1109/LICS.1989.39159 10.2307/2267778 10.1016/S0019-9958(82)91234-7 10.1007/BF01700692 10.1145/116825.116838 10.1145/322248.322258 10.1016/S0743-1066(85)80005-4 10.1016/0743-1066(93)90031-B 10.3233/FI-1988-11206 10.1145/990010.990011 10.1007/978-3-642-96826-6 10.1016/0743-1066(94)90024-8 10.1007/978-1-4684-3384-5_11 10.1007/BF01178666 10.1007/PL00003927 10.2140/pjm.1955.5.285 10.1007/BFb0015254 10.1007/BF00215626 10.1007/BF00264250 10.1145/244795.244800 10.1145/321978.321991 10.1016/S0049-237X(08)72018-4 10.1007/978-3-642-12592-8_9 10.1093/logcom/1.6.797 10.1023/A:1016358201013 10.1007/3-540-16492-8_76 10.1007/3-540-58485-4_32 10.1016/0743-1066(92)90031-W 10.1007/s11225-009-9175-4 10.1016/S0167-6423(97)00033-6 10.1017/S1471068406002742 10.1016/0743-1066(91)90014-G 10.1016/0743-1066(87)90007-0 10.1111/j.1467-8640.1988.tb00280.x 10.1016/0743-1066(94)90026-4 10.1145/1013560.1013565 10.1145/383779.383789
ContentType	Journal Article
Copyright	Copyright © Cambridge University Press 2013
Copyright_xml	– notice: Copyright © Cambridge University Press 2013
DBID	AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U
DOI	10.1017/S1471068413000069
DatabaseName	CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Health Research Premium Collection ProQuest Central Essentials ProQuest Central Technology collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic
DatabaseTitle	CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New)
DatabaseTitleList	Computer and Information Systems Abstracts Computer Science Database CrossRef
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
DocumentTitleAlternate	L. Naish and H. Søndergaard Truth versus information
EISSN	1475-3081
EndPage	840
ExternalDocumentID	3466301711 10_1017_S1471068413000069
Genre	Feature
GroupedDBID	-E. .FH 09C 09E 0E1 0R~ 123 29Q 3V. 4.4 5VS 74X 74Y 7~V 8FE 8FG 8R4 8R5 AAAZR AABES AABWE AACJH AAFUK AAGFV AAKTX AANRG AARAB AASVR AAUKB AAYOK ABBXD ABITZ ABJNI ABKKG ABMWE ABQTM ABQWD ABROB ABTCQ ABUWG ABVKB ABVZP ABZCX ACAJB ACBMC ACDLN ACGFS ACIMK ACNCT ACUIJ ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADKIL ADOVH ADVJH AEBAK AEHGV AEMTW AENEX AENGE AEYYC AFFUJ AFKQG AFKRA AFLOS AFLVW AFUTZ AFZFC AGABE AGBYD AGJUD AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ATUCA AUXHV AZQEC BBLKV BENPR BGHMG BGLVJ BLZWO BMAJL BPHCQ C0O CAG CBIIA CCPQU CCQAD CCTKK CFAFE CHEAL CJCSC COF CS3 DC4 DOHLZ DU5 DWQXO EBS EJD GNUQQ HCIFZ HG- HST HZ~ I.6 IH6 IOEEP IS6 I~P J36 J38 J3A J9A JHPGK JQKCU K6V K7- KCGVB KFECR L98 LW7 M-V M0N NIKVX O9- OK1 OYBOY P2P P62 PQQKQ PROAC PYCCK Q2X RAMDC RCA ROL RR0 S6- S6U SAAAG T9M UT1 WFFJZ WQ3 WXU WYP ZYDXJ AAYXX ABGDZ ABXHF AFFHD AKMAY CITATION IPYYG PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U PUEGO
ID	FETCH-LOGICAL-c350t-dab23a5da054330aadb521a1df3560c0763bf892b2243a7b4bbede8158dde9cf3
IEDL.DBID	BENPR
ISICitedReferencesCount	1
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000346848400001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1471-0684
IngestDate	Thu Sep 04 18:01:00 EDT 2025 Fri Nov 28 20:37:40 EST 2025 Sat Nov 29 04:58:35 EST 2025 Tue Nov 18 22:14:09 EST 2025 Tue Jan 21 06:29:38 EST 2025
IsPeerReviewed	true
IsScholarly	true
Issue	6
Keywords	many-valued logic information order modes declarative debugging program analysis logic program specification intended interpretation specification semantics
Language	English
License	https://www.cambridge.org/core/terms
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c350t-dab23a5da054330aadb521a1df3560c0763bf892b2243a7b4bbede8158dde9cf3
Notes	SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-1 ObjectType-Feature-2 content type line 23
PQID	1614309037
PQPubID	43613
PageCount	38
ParticipantIDs	proquest_miscellaneous_1762077363 proquest_journals_1614309037 crossref_citationtrail_10_1017_S1471068413000069 crossref_primary_10_1017_S1471068413000069 cambridge_journals_10_1017_S1471068413000069
PublicationCentury	2000
PublicationDate	2014-11-01
PublicationDateYYYYMMDD	2014-11-01
PublicationDate_xml	– month: 11 year: 2014 text: 2014-11-01 day: 01
PublicationDecade	2010
PublicationPlace	Cambridge, UK
PublicationPlace_xml	– name: Cambridge, UK – name: Cambridge
PublicationTitle	Theory and practice of logic programming
PublicationTitleAlternate	Theory and Practice of Logic Programming
PublicationYear	2014
Publisher	Cambridge University Press
Publisher_xml	– name: Cambridge University Press
References	Fitting (S1471068413000069_ref28) 2006 S1471068413000069_ref39 S1471068413000069_ref38 Somogyi (S1471068413000069_ref53) 1995 Naish (S1471068413000069_ref45) 2000; 22 S1471068413000069_ref37 Sato (S1471068413000069_ref51) 1984 S1471068413000069_ref34 Boye (S1471068413000069_ref13) 1995 S1471068413000069_ref33 S1471068413000069_ref32 S1471068413000069_ref31 S1471068413000069_ref30 S1471068413000069_ref29 S1471068413000069_ref27 Mycroft (S1471068413000069_ref43) 1984 Kowalski (S1471068413000069_ref35) 1980 Fitting (S1471068413000069_ref22) 1988; 11 Shapiro (S1471068413000069_ref52) 1983 Naish (S1471068413000069_ref47) 2012 Naish (S1471068413000069_ref44) 1996 S1471068413000069_ref26 S1471068413000069_ref25 Arieli (S1471068413000069_ref5) 1998 S1471068413000069_ref24 S1471068413000069_ref23 S1471068413000069_ref21 Clark (S1471068413000069_ref16) 1977 S1471068413000069_ref19 S1471068413000069_ref18 S1471068413000069_ref17 Kowalski (S1471068413000069_ref36) 1985 S1471068413000069_ref50 Falaschi (S1471068413000069_ref20) 1988 S1471068413000069_ref15 S1471068413000069_ref14 S1471068413000069_ref56 S1471068413000069_ref12 S1471068413000069_ref55 S1471068413000069_ref11 S1471068413000069_ref54 S1471068413000069_ref1 S1471068413000069_ref2 Belnap (S1471068413000069_ref10) 1977 S1471068413000069_ref49 S1471068413000069_ref8 S1471068413000069_ref9 Babbage (S1471068413000069_ref7) 1864 S1471068413000069_ref3 S1471068413000069_ref4 S1471068413000069_ref6 S1471068413000069_ref40 S1471068413000069_ref48 S1471068413000069_ref46 S1471068413000069_ref42 S1471068413000069_ref41
References_xml	– ident: S1471068413000069_ref17 doi: 10.1007/3-540-36377-7_6 – ident: S1471068413000069_ref27 doi: 10.1016/S0304-3975(00)00330-3 – start-page: 118 volume-title: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science year: 1998 ident: S1471068413000069_ref5 – ident: S1471068413000069_ref23 doi: 10.1109/LICS.1989.39159 – ident: S1471068413000069_ref34 doi: 10.2307/2267778 – ident: S1471068413000069_ref11 doi: 10.1016/S0019-9958(82)91234-7 – start-page: 274 volume-title: Symposium on Theoretical Aspects of Computer Science year: 1984 ident: S1471068413000069_ref43 – ident: S1471068413000069_ref30 doi: 10.1007/BF01700692 – ident: S1471068413000069_ref56 doi: 10.1145/116825.116838 – ident: S1471068413000069_ref32 doi: 10.1145/322248.322258 – ident: S1471068413000069_ref21 doi: 10.1016/S0743-1066(85)80005-4 – ident: S1471068413000069_ref26 doi: 10.1016/0743-1066(93)90031-B – start-page: 185 volume-title: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming year: 1996 ident: S1471068413000069_ref44 – volume: 11 start-page: 209 year: 1988 ident: S1471068413000069_ref22 article-title: Logic programming on a topological bilattice publication-title: Fundamenta Informaticae doi: 10.3233/FI-1988-11206 – ident: S1471068413000069_ref14 doi: 10.1145/990010.990011 – ident: S1471068413000069_ref38 doi: 10.1007/978-3-642-96826-6 – start-page: 419 volume-title: Proceedings of the Fifth International Joint Conference on Artificial Intelligence year: 1977 ident: S1471068413000069_ref16 – ident: S1471068413000069_ref2 doi: 10.1016/0743-1066(94)90024-8 – start-page: 747 volume-title: Proceedings of the 12th International Conference on Logic Programming year: 1995 ident: S1471068413000069_ref13 – ident: S1471068413000069_ref15 doi: 10.1007/978-1-4684-3384-5_11 – ident: S1471068413000069_ref33 doi: 10.1007/BF01178666 – ident: S1471068413000069_ref42 doi: 10.1007/PL00003927 – ident: S1471068413000069_ref54 doi: 10.2140/pjm.1955.5.285 – ident: S1471068413000069_ref31 doi: 10.1007/BFb0015254 – volume-title: Passages from the Life of a Philosopher year: 1864 ident: S1471068413000069_ref7 – start-page: 53 volume-title: Self-Reference year: 2006 ident: S1471068413000069_ref28 – ident: S1471068413000069_ref4 doi: 10.1007/BF00215626 – start-page: 8 volume-title: Modern Uses of Multiple-Valued Logic year: 1977 ident: S1471068413000069_ref10 – ident: S1471068413000069_ref9 doi: 10.1007/BF00264250 – ident: S1471068413000069_ref18 doi: 10.1145/244795.244800 – ident: S1471068413000069_ref55 doi: 10.1145/321978.321991 – ident: S1471068413000069_ref41 doi: 10.1016/S0049-237X(08)72018-4 – ident: S1471068413000069_ref48 doi: 10.1007/978-3-642-12592-8_9 – start-page: 195 volume-title: Proceedings of the 1984 International Conference on Fifth Generation Computer Systems year: 1984 ident: S1471068413000069_ref51 – ident: S1471068413000069_ref25 doi: 10.1093/logcom/1.6.797 – ident: S1471068413000069_ref3 doi: 10.1023/A:1016358201013 – ident: S1471068413000069_ref50 doi: 10.1007/3-540-16492-8_76 – volume-title: Logic for Problem Solving year: 1980 ident: S1471068413000069_ref35 – ident: S1471068413000069_ref1 doi: 10.1007/3-540-58485-4_32 – ident: S1471068413000069_ref40 doi: 10.1016/0743-1066(92)90031-W – ident: S1471068413000069_ref6 doi: 10.1007/s11225-009-9175-4 – ident: S1471068413000069_ref8 doi: 10.1016/S0167-6423(97)00033-6 – volume: 22 start-page: 166 year: 2000 ident: S1471068413000069_ref45 article-title: A three-valued declarative debugging scheme publication-title: Australian Computer Science Communications – start-page: 49 volume-title: Proceedings of the 44th Symposium on Theory of Computing Conference 2012 year: 2012 ident: S1471068413000069_ref47 – start-page: 11 volume-title: Mathematical Logic and Programming Languages year: 1985 ident: S1471068413000069_ref36 – ident: S1471068413000069_ref46 doi: 10.1017/S1471068406002742 – ident: S1471068413000069_ref24 doi: 10.1016/0743-1066(91)90014-G – start-page: 499 volume-title: Proceedings of the Australian Computer Science Conference year: 1995 ident: S1471068413000069_ref53 – ident: S1471068413000069_ref37 doi: 10.1016/0743-1066(87)90007-0 – ident: S1471068413000069_ref29 doi: 10.1111/j.1467-8640.1988.tb00280.x – start-page: 993 volume-title: Proceedings of the Fifth International Conference and Symposium on Logic Programming year: 1988 ident: S1471068413000069_ref20 – ident: S1471068413000069_ref12 doi: 10.1016/0743-1066(94)90026-4 – ident: S1471068413000069_ref39 doi: 10.1145/1013560.1013565 – ident: S1471068413000069_ref19 doi: 10.1145/383779.383789 – volume-title: Algorithmic Program Debugging year: 1983 ident: S1471068413000069_ref52 – ident: S1471068413000069_ref49
SSID	ssj0016324
Score	1.9784461
Snippet	The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural... Abstract The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some...
SourceID	proquest crossref cambridge
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	803
SubjectTerms	Allowances Fittings Logic Logic programming Operators Order disorder Regular Papers Semantics Specifications
Title	Truth versus information in logic programming
URI	https://www.cambridge.org/core/product/identifier/S1471068413000069/type/journal_article https://www.proquest.com/docview/1614309037 https://www.proquest.com/docview/1762077363
Volume	14
WOSCitedRecordID	wos000346848400001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1475-3081 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: P5Z dateStart: 20010101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1475-3081 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: K7- dateStart: 20010101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1475-3081 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: BENPR dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwED9088EX5ydO56jgkxjMlnZpn0RlQxDGkAnDl5GkKQq6zXX17_euS8uGsBdfSkmTEpL7yt3ldwBXGq0KX_ictcOEM99KyXSkJOPCBsZErSTkKi82Ifv9cDSKBs7hlrq0ykIm5oI6nhrykd-iZeILcirIu9k3o6pRFF11JTS2oUpIZUjn1Yduf_BSxhEIjDy_XyQpvyf0i7gmgUZTI7VRQIcAe1fRFda11LqQzjVPr_bfOe_DnrM5vfslkRzAlp0cQq2o5-A59j4CNpxni3ePEjWy1HOQqrRx-O7lMtJz6VxfqPCO4bXXHT4-MVdOgRkR8AWLlW4LFcQKrTQhuFKxRt2tWnEi0OwxHCWNTsKorVGrCyW1r7WNbdgKQhSBkUnECVQm04k9BQ9PtrKTQ9Mp6dtIRLEhEB0eqJbSeACpw025lGPHFOl4mVAmx39Wvg68WO2xcdDkVCHjc9OQ63LIbInLsalzo9ifldmUm1OHy_IzMhdFTNTETjPsg6qCSyk64mzzL85hFy0pf3lJsQGVxTyzF7BjfhYf6bzpqLIJ28-S4XMQvP0CRwblcg
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8NAEB60CnrxLdZnBL2Ii2k26SYHEZ8oahGp0Fvc3WxQ0LY2reKf8jc6kxeK0FsP3sLmQZKZnW9mZ_YbgB2FXoXLXZs5fmwz1wjBVCAFs7nxtA5qsW_LtNmEaDT8Viu4G4OvYi8MlVUWNjE11FFH0xr5AXomLqdFBXHUfWPUNYqyq0ULjUwtrs3nB4ZsyeHVGcp313EuzpunlyzvKsA09-w-i6RyuPQiic4KBvNSRgohTNaimCP6a4zruYr9wFEIblwK5SplIuPXPB8tQaBjjs8dhwn8wLpXgYmT88bdfZm3IPLzdD-ToHoi3y3yqERSTYM0RgkkIgj-yebwGxV_g0KKdBez_-0fzcFM7lNbx9kkmIcx016A2aJfhZWbr0Vgzd6g_2RRIcogsXLKWFJMPLZSDLDycrVXBPQleBjJSy9Dpd1pmxWwMHIX9ZR6TwrXBDyINJEE2Z6sSYUBVhX2S9GF-aRPwqxgToR_JF0Fu5BuqHPqdeoA8jLslr3ylm7GOzLs4vVCH368TakMVdguT6PxoIyQbJvOAK9BKLSF4HW-OvwRWzB12by9CW-uGtdrMI1eo5ttyFyHSr83MBswqd_7z0lvM58RFjyOWsG-AYHXQqU
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Truth+versus+information+in+logic+programming&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=Naish%2C+Lee&rft.au=SOeNDERGAARD%2C+HARALD&rft.date=2014-11-01&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=14&rft.issue=6&rft.spage=803&rft.epage=840&rft_id=info:doi/10.1017%2FS1471068413000069&rft.externalDBID=NO_FULL_TEXT
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon