Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

Logic programs and an experimental architecture for their execution

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Oldfield, J.V. ; Syracuse University, Department of Electrical and Computer Engineering, Syracuse, USA

Logic programming provides new ways of solving problems by computer, and offers opportunities for concurrent processing. The declarative style of logic programming is contrasted with the imperative style of conventional programming languages. A simple example of a logic network is used to draw out the distinction, and is followed by a review of the corresponding execution sequence. The operations of variable binding and unification are discussed in detail. The Syracuse unification machine, a coprocessor for a logic programming system, has been designed to carry out these operations efficiently with the aid of concurrent processing units and content-addressable memory.

Published in:

Computers and Digital Techniques, IEE Proceedings E  (Volume:133 ,  Issue: 3 )