Oz and Mozart Users Mailing List

Comparison of Oz to Prolog (was Re: (none))

• Next message: Peter Van Roy: "Re: classes (documentation)"
• Previous message: Álvaro Falquina Garrido: "Re: (none)"
• In reply to: jjon: "(no subject)"
• Next in thread: Álvaro Falquina Garrido: "(no subject)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

jjon wrote:
> I would like, too, a tutorial specialized in Logic Programming,
> necessarily something that compares Oz to Prolog.

Here are two comparisons of Oz to Prolog:

1. Draft article on 'Logic Programming in Oz':
   http://www.info.ucl.ac.be/people/PVR/tut131100.ps
   This situates Oz with respect to Prolog and concurrent logic
   programming, with program fragments and lots of intuition.

2. In the programming textbook draft, see Chapter 7 (Relational
   Programming) and Chapter 11 (Representative Languages, including
   Prolog). Chapter 11 shows how to translate reasonable Prolog
   programs to Oz. Available at:
   http://www.info.ucl.ac.be/people/PVR/book.html

Peter

> Juliano Freitas da Silva
> Unisinos - Computer Science Student
> Sao Leopoldo - Brazil

-- 
Peter Van Roy
Département d'Ingénierie Informatique
(Department of Computing Science and Engineering)
Université catholique de Louvain
B-1348 Louvain-la-Neuve, Belgium
Email: pvr@info.ucl.ac.be
Tel: (+32) (10) 47.83.74
Web: http://www.info.ucl.ac.be/people/cvvanroy.html
Mozart: http://www.mozart-oz.org
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.

• Next message: Peter Van Roy: "Re: classes (documentation)"
• Previous message: Álvaro Falquina Garrido: "Re: (none)"
• In reply to: jjon: "(no subject)"
• Next in thread: Álvaro Falquina Garrido: "(no subject)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]