Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,873,305 papers from all fields of science
Search
Sign In
Create Free Account
Cut (logic programming)
Known as:
Cut
, Green cut
, Red cut
The cut, in Prolog, is a goal, written as !, which always succeeds, but cannot be backtracked. It is best used to prevent unwanted backtracking…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Backtracking
Datalog
Deductive database
Extended Affix Grammar
Expand
Broader (1)
Logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Fuel & Load-Flexible Entrained Flow Gasifier Operation & Applications: Flame Parameters & Flexible Burner
P. Johne
,
P. Kaindl
,
S. Fendt
,
H. Spliethoff
2018
Corpus ID: 181340000
Oxygen-blown entrained flow gasification (EFG) of biomass is a promising technology for further reducing CO2-emissions in power…
Expand
2016
2016
Phyllocoptes cacolyptae (Acari: Trombidiformes: Eriophyoidea) a new species from Eucalyptus spp. in Italy.
D. Valenzano
,
P. Martini
,
S. Simoni
,
E. Lillo
2016
Corpus ID: 89902103
Specimens of an unknown species of Phyllocoptes (Eriophyidae Phyllocoptinae) were collected from the shoots of three Eucalyptus…
Expand
2015
2015
Analog testing stimulus optimization for generating by means of Sigma-Delta modulation
T. Golonek
International Conference on Mixed Design of…
2015
Corpus ID: 12591094
This paper proposes the evolutionary technique of the stimulus signal optimization for the analog electronic circuit testing…
Expand
2014
2014
Circle Equation-Based Fault Modeling Method for Linear Analog Circuits
Shulin Tian
,
Chenglin Yang
,
Fang Chen
,
Zhen Liu
IEEE Transactions on Instrumentation and…
2014
Corpus ID: 3727797
Owing to the lack of feasible fault modeling method, hard (open and short) faults and discrete parameter faults are still the…
Expand
2004
2004
On Exploring Soft Discretization of Continuous Attributes
H. Nguyen
Rough-Neural Computing
2004
Corpus ID: 35269333
Searching for a binary partition of attribute domains is an important task in data mining. It is present in both decision tree…
Expand
2003
2003
Chapter 13 On Exploring Soft Discretization of Continuous Attributes
H. Nguyen
2003
Corpus ID: 14550201
Searching for a binary partition of attribute domains is an i mportant task in data mining. It is present in both decision tree…
Expand
2000
2000
A New determination of the pomeron intercept in hard processes
J. G. Contreras
,
R. Peschanski
,
C. Royon
2000
Corpus ID: 28566294
A method allowing for a direct comparison of data with theoretical predictions is proposed for forward jet production at HERA. It…
Expand
1996
1996
A Declarative Semantics for the Prolog Cut Operator
K. Stroetmann
,
T. Glaß
Extensions of Logic Programming
1996
Corpus ID: 16163662
In practice, a large part of most Prolog programs is in fact functional, the search facilities of Prolog are only rarely needed…
Expand
1994
1994
Dealing with Explicit Exceptions in Prolog
L. Liquori
,
M. Sapino
GULP-PRODE
1994
Corpus ID: 5119926
Existing logic languages provide some simple " extra-logical " constructs for control manipulation , such as the cut of standard…
Expand
1985
1985
A hardware unification unit: design and analysis
N. Woo
International Symposium on Computer Architecture
1985
Corpus ID: 14669382
The design of a hardware unit that performs unification operation is described and analyzed in this paper. In particular, the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required