Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,629 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
2017
2017
Holographic Dark Energy Model in Brans-Dicke Theory with Future Event Horizon
Milan Srivastava
,
C.P.Singh
2017
Corpus ID: 119422214
In this paper, we study the dynamics of non-interacting and interacting holographic dark energy models in the framework of Brans…
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
Rumen Mechanical Stimulation through Brush Administration : Its Influence on Performance of Beef Cattle Fed with Low Roughage Diet
Y. R. Yanza
,
A. Jayanegara
,
D. Astuti
,
J. Takahashi
2015
Corpus ID: 53336451
In recent years concentrate feeding has been the main factor affecting production in feedlot cattle industry. The use of…
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
Near infra red cut filter, and solid state imaging device and camera module comprising the same
타카유키 아사노
,
타카시 츠보우치
2009
Corpus ID: 103273317
PURPOSE: A near infrared ray cut-filter, a solid imaging device thereof, and a camera module thereof are provided to reduce the…
Expand
2008
2008
Re-use methods and concrete structures of green cut shear
恭伸 奈須野
,
松本 信也
,
林 健二
,
武田 節造
2008
Corpus ID: 134511399
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
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