A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Mints type deductive calculi for logic programming
1992
Annals of Pure and Applied Logic
Preserved Fulltext
allowing negation as failure to be applied to nonground negative literals. ...
Mints (1986) has given a deductive calculus, a set of proof rules, for pure Prolog such that the goalX=A"..., A" succeeds in Prolog iff X is derivable in this calculus and X fails in Prolog iff (-)X is ...
Mints for his comments and corrections, and to a referee of an earlier version for corrections and substantial improvements. ...
doi:10.1016/0168-0072(92)90065-8
fatcat:lhkjl5azyrhwhffph6qxzhzi5m
Web Rules Need Two Kinds of Negation
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
In this paper I argue that, like in several basic computational languages, such as OCL and SQL, two kinds of negation are also needed in the Semantic Web. ...
In natural language, and in some knowledge representation systems, such as extended logic programs, there are two kinds of negation: a weak negation expressing non-truth, and a strong negation expressing ...
a negation-as-failure in a similar way as the isEmpty operator of OCL and the IS NULL operator of SQL. 3 Negations in UML/OCL, SQL, CLIPS/Jess and Prolog UML/OCL, SQL, CLIPS/Jess and Prolog may be viewed ...
doi:10.1007/978-3-540-24572-8_3
fatcat:nsernefakvdwlknmx7dkbhm7de
N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
1985
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We shall also introduce negation as failure into N-PROLOG. ...
INTRODUCTION This continuation paper investigates the logical properties of N-PROLOG and the way it relates to classical logic and the classical quantifiers. ...
D
NEGATION AS FAILURE IN N-PROLOG It is possible, natural, and very useful to add negation as failure to N-PROLOG. ...
doi:10.1016/s0743-1066(85)80003-0
fatcat:rrivl5ddsncxldghsnwsmnyn4e
Foundation of logic programming based on inductive definition
1984
New generation computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
regard negation as failure as a kind of induction schema. ...
It is possible to express many properties of programs in the framework of the usual flrst order logic. Clark and Tarnlund[7] proposed to use the first order predicate logic. ...
Plain productions are enough for the so-called pure Prolog, but, as was discussed in 4.1, the usual Prolog interpreter can actually treat negations of predicates by negation as failure and in fact a predicate ...
doi:10.1007/bf03037052
fatcat:umf2jfetg5azxpulzct5ova7me
A Predicate Connection Graph Based Logic with Flexible Control
1985
International Joint Conference on Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
predicates and functions to the language. ...
This machine represents the knowledge base in a strategy independent fashion as a predicate connection graph which encodes potential unifications between predicates. ...
Domains where the open world assumption is in effect require that we express and use negated literals in our rule base, since the Prolog technique of negation as failure is inadequate and logically incorrect ...
dblp:conf/ijcai/WhitneyBMKHD85
fatcat:bd34rxbabba3zbde7uyep5a6nq
Extending Prolog with nonmonotonic reasoning
1996
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The conditions (a) and (b) can be easily implemented using the predicate stselect and negation as failure in Prolog. If Q is not ground, then Q may have multiple answers with different head atoms. ...
Operationally, the computational model in Prolog is based upon SLD resolution with negation as failure (SLDNF), which is a top-down depth-first strategy. ...
doi:10.1016/0743-1066(95)00151-4
fatcat:qxjtfwogargabg235cf4upjfyq
Drawing Prolog Search Trees: A Manual for Teachers and Students of Logic Programming
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, and negation. ...
After giving a first example of a Prolog database, query and search tree, the art of drawing search trees is systematically introduced giving guidelines for queries with variables, conjunction, disjunction ...
An example using cut Consider the following Prolog database: 1
Negation as failure In Prolog, a negated query Q is written as not(Q) or \+ Q. ...
arXiv:2001.08133v1
fatcat:tycggjgrmbdgrazfv4kfxe7dpi
Extending Constructive Logic Negation with Types
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Negation has traditionally been a difficult issue in Logic Programming. Most of Prolog programmers have been restricted to use just a weak negation technique, like negation as failure. ...
We provide details about the semantics and the implementation in our approaches of classical, finite constructive, and intensional negation. ...
checked by compilers) which is a built-in in most Prolog compilers (Quintus, SICStus, Ciao, BinProlog, etc.), and the "delay technique" (applying negation as failure only when the variables of the negated ...
doi:10.1016/j.entcs.2009.07.022
fatcat:mkprxv4cg5bfphigwd5brecvcy
Prolog for Verification, Analysis and Transformation Tools
2020
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2008.02933v1 fatcat:3cd7jc5yenb2ra2htsluqku5kq
The article shows the usefulness of a few key Prolog features. In particular, it discusses how to deal with negation at the level of the object programs being verified or analysed. ...
This article examines the use of the Prolog language for writing verification, analysis and transformation tools. ...
Acknowledgements I would like to thank Laurent Fribourg for his useful feedback on an earlier version of the article. ...
doi:10.4204/eptcs.320.6
fatcat:4ptzbt4pyfcirbfq6r7luzt6uq
Page 169 of Journal of Research and Practice in Information Technology Vol. 17, Issue 4
[page]
1985
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
next x return x
0
To ensure that the answers returned by evaluating a goal G, using the original and introduced rules, are. correct, it is necessary to implement negation as failure by a safe computation ...
This phase causes new predicates and rules to be introduced into the database. ...
Page 3841 of Mathematical Reviews Vol. , Issue 87g
[page]
1987
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Negation as failure is introduced to N-Prolog and its peculiarities are investigated. ...
As a result of this, the soundness of SLDNF resolution and the negation-as-failure rule are established. Necessary and sufficient conditions for completeness are presented, as well. P. ...
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. ...
The implementation is straightforward and seems to provide for abduction, the most efficient of known implementations; the price, however, is a limited use of negations. ...
Acknowledgements The authors want to thank Michael Cheng for experimentation with an early version of the methods and for helpful discussions, and Dulce Aguilar-Solis for help with benchmark testing. ...
doi:10.1007/11562931_14
fatcat:ryrnilnr5ndgzffhi45gv7w7hq
Prolog Tutorial
[article]
2017
Figshare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Prolog tutorialLearn Prolog ...
• This attitude of negating everything that is not explicitly in the program (or can be concluded from the information provided by the program) is often referred to as the closed world assumption • Prolog ...
A No then really mean no • Facts and rules are also called clauses • A fact is a predicate followed by a full stop • A rule consists of a head (a predicate) and a body. ...
doi:10.6084/m9.figshare.4789897.v1
fatcat:xx52ts65dzdwtk5cbuuevpvrbq
The Dramatic True Story of the Frame Default
2014
Journal of Philosophical Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his "frame default" remained untested and suspect. ...
But developments in some seemingly unrelated areas of computer science-logic programming and satisfiability solvers-eventually exonerated the frame default and turned it into a basis for important applications ...
This syntax allows a rule to contain two kinds of negation: negation as failure not, familiar from traditional Prolog, and "strong" (or "classical") negation ¬, found within a negative literal. ...
doi:10.1007/s10992-014-9332-8
fatcat:orziuuqonzaidowoflanykcgy4
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper we present the main features and implementation details of a programming language that we call Bousi∼Prolog. ...
It can be seen as an extension of Prolog able to deal with similarity-based fuzzy unification ("Bousi" is the Spanish acronym for "fuzzy unification by similarity"). ...
Also by providing us the structural analogy and the input text used in Example 2.4. ...
doi:10.1016/j.entcs.2009.07.064
fatcat:v3dylwt5v5eqpjd53s6hrpv3oi
« Previous
Showing results 1 — 15 out of 2,852 results