@article {citeulike:7897447,
	title = {KROL: a knowledge representation object language on top of Prolog},
	journal = {Expert Systems with Applications},
	volume = {15},
	number = {1},
	year = {1998},
	note = {<p>n/a</p>
},
	month = {jul},
	pages = {33-46},
	abstract = {<p>{This paper presents a knowledge representation object language (KROL) on top of Prolog. KROL is aimed at providing the ability to develop second-generation expert systems. The main aspects of KROL include multi-paradigm knowledge representation (first-order predicate logic, objects, rules), inference mechanisms at different levels of granularity, explanation facility, object-oriented database management module, and user-friendly interface. KROL has sufficient expressive power to be used in applying demanding knowledge-based modeling methodologies, such as KADS and Generic Task, which are the major landmarks of the second-generation expert systems technology. Four successful agricultural expert systems have been developed in the last 6~years using KROL. To demonstrate the language capabilities, we present an example of disorder diagnosis.}</p>
},
	keywords = {expert\_systems, kads\_knowledge\_engineering\_methodology, logic\_programming, prolog},
	issn = {09574174},
	doi = {10.1016/s0957-4174(98)00009-8},
	url = {http://dx.doi.org/10.1016/s0957-4174(98)00009-8},
	attachments = {https://scholar.cu.edu.eg/sites/default/files/shaalan/files/krol.pdf},
	author = {Khaled Shaalan and Mahmoud Rafea and Rafea, Ahmed}
}
