Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Prolog

Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches
A programming language based on logic programming whose primary constructs are derivation rules.
Published in Chapter:
A Logic Programming Perspective on Rules
Leon Sterling (University of Melbourne, Australia) and Kuldar Taveter (Tallinn University of Technology, Estonia)
DOI: 10.4018/978-1-60566-402-6.ch009
Abstract
Logic programming emerged from the realization that expressing knowledge in an appropriate clausal form in logic was akin to programming. The basic construct of a logic program can be viewed as a rule. This chapter will review rules from a logic programming perspective with an eye to developments within modern rule languages. It mentions rule interpreters, hybrid computing, interaction with the Web, and agents. An extended example is given concerning rule-based modelling and simulation of traffic at airports.
Full Text Chapter Download: US $37.50 Add to Cart
More Results
Access Control Frameworks for a Distributed System
Prolog is a logic programming language that acts as a theorem prover.
Full Text Chapter Download: US $37.50 Add to Cart
Computer Technologies in Logic Education
Logic-based programming language (literally “programming in logic”).
Full Text Chapter Download: US $37.50 Add to Cart
Legacy Software Integration in Service-Driven Environments: An Intelligent Agent-Based Framework
A logical programming language used in artificial intelligence for building of expert systems.
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR