Issue No. 01 - February (1994 vol. 6)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.273023
<p>Prolog/Rex represents a powerful amalgamation of the latest techniques for knowledge representation and processing, rich in semantic features that ease the difficult task of encoding heterogeneous knowledge of real-world applications. The Prolog/Rex concept mechanism lets a user represent domain entities in terms of their structural and behavioral properties, including multiple inheritance, arbitrary user-defined relations among entities, annotated values (demons), incomplete knowledge, etc. A flexible rule language helps the knowledge engineer capture human expertise and provide flexible control of the reasoning process. Additional Prolog/Rex strength that cannot be found in any other hybrid language made on top of Prolog is language level support for keeping many potentially contradictory solutions to a problem, allowing possible solutions and their implications to be automatically generated and completely explored before they are committed. The same mechanism is used to model time-states, which are useful in planning and scheduling applications of Prolog/Rex.</p>
PROLOG; knowledge representation; expert systems; logic programming; logic programming languages; Prolog/Rex; Prolog; knowledge representation; knowledge processing; semantic features; heterogeneous knowledge; behavioral properties; structural properties; multiple inheritance; arbitrary user-defined relations; incomplete knowledge; flexible rule language; reasoning; knowledge engineer; hybrid language; time-state modelling; planning; scheduling applications; expert systems; artificial intelligence; logic programming
S. Vranes and M. Stanojevic, "Prolog/Rex-A Way to Extend Prolog for Better Knowledge Representation," in IEEE Transactions on Knowledge & Data Engineering, vol. 6, no. , pp. 22-37, 1994.