Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,294 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
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
2009
2009
Design of grid-connected photovoltaic system using soft cut-in control
Lv Bin
,
C. Yanbo
,
Wang Chengshan
International Conference on Sustainable Power…
2009
Corpus ID: 22296271
The paper describes a grid-connected photovoltaic system, which uses the SPWM technology to invert the solar battery voltage to…
Expand
2008
2008
Re-use methods and concrete structures of green cut shear
恭伸 奈須野
,
松本 信也
,
林 健二
,
武田 節造
2008
Corpus ID: 134511399
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
2002
2002
A Soft Decision Tree
H. Nguyen
Intelligent Information Systems
2002
Corpus ID: 9398512
Searching for binary partition of attribute domains is an important task in Data Mining, particularly in decision tree methods…
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
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