?

[Manuel Hermenegildo]

Thomas makes some good points when comparing Oz and Prolog. By the
way,

 > Some of my students clearly miss [in Prolog] some of the Oz
 > features that they have gotten used to, though, such as higher
 > orderness, concurrency, scope rules of variables etc.

note that this is true of 80's style Prolog, but there are systems
currently that support good old Prolog, plus those things that Thomas
mentions and others such as (voluntary) types and assertions, even
better support for syntax and semantics extensions, etc., See, e.g.,
Ciao (www.ciaohome.org), which in some ways is a 'cousin' of Oz, since
they were both developed originally within the same project.

Cheers,

Manuel

-- 
-----------------------------------------------------------------------------
 Manuel Hermenegildo                   |   University of New Mexico, NM, USA
 Professor, P. of Asturias Chair       |                    Office: ECE 219A  
 Depts. of Computer Science and        |       Tel: +1 (505) 277 -9328/-3112 
 Electrical and Computer Engineering   |           http://www.unm.edu/~herme  
-----------------------------------------------------------------------------