Warning:
JavaScript is turned OFF. None of the links on this page will work until it is reactivated.
If you need help turning JavaScript On, click here.
The Concept Map you are trying to access has information related to:
Prolog may implement Non-monotonic Reasoning, Prolog may implement Monotonic Resoning, Inference may be Data-driven Inference, Inference may be Goal-driven Inference, Search may be Depth-first Search, Search may be Heuristic Search, Search may be Breadth-First Search, Non-monotonic Reasoning implemented wth Assert and Retract, Prolog is comprised of Program Elements, Goals specified for Goal-driven Inference, Logic-Oriented Languages seek to be Non-procedural, Logic is orthogonal to Control, Goal-driven Inference involves Backward Chaining, Logic-Oriented Languages originated in Early 1970s, Prolog utilizes Depth-first Search, Logic-Oriented Languages include Prolog, Inference requires Search, Data-driven Inference involves Forward Chaining, Control is the responsibility of The System, Non-monotonic Reasoning means Truth values cn change, Prolog is not completely Non-procedural, Non-procedural means separating Control, Non-procedural means separating Logic, Rules represent Logic, Program Elements are Facts, Program Elements are Goals, Program Elements are Rules, Logic is the responsibility of The Programmer, Depth-first Search may be implemented with Backtracking, Logic-Oriented Languages afford Inference