🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #2398

Re: Prolog is declarative

#2398
From: Jacob L. Cybulski
Date: Fri, 22 Jan 1993 02:36
26 lines
1800 bytes
In article <90458@ncratl.AtlantaGA.NCR.COM>, hroth@ncratl.AtlantaGA.NCR.COM (Harris Roth) writes:
|> What is the definition of declarative?
A declarative language provides a descriptive rather than prescriptive
solution to the problem. So for instance if you have to sort an array
of numbers, you'd specify the initial state of the array (any order),
the final state of the array (in order) and the relation between these
two states (the two sets of numbers are to be identical). Depending on
how you are going to set the relationship between the two states you may
imply the use of bubble sort, a quick sort, etc...

|> What other languages are declarative?
E.g. SQL, SNOBOL

|> What term describes languages which are not declarative?
Procedural - e.g. Cobol
Functional - e.g. Lisp


Jacob
-- 
=============================================================================
Jacob L. Cybulski,  Deputy  Director,  Amdahl  Australian  Intelligent  Tools
Programme,  Dept of  Comp Sci  &  Comp Eng,  La Trobe  University,  Bundoora,
Vic. 3083, Australia. Ph: +613 479 1270, Fax: +613 470 4915, Telex: AA 33143,
E-Mail: jacob@latcs1.lat.oz.au.                                     ... G'Day
=============================================================================
Technical Details
Message-ID: <1993Jan22.023622.23284@latcs1.lat.oz.au>
Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!ariel.ucs.unimelb.EDU.AU!ucsvc.ucs.unimelb.edu.au!lugb!latcs1!latcs1.lat.OZ.AU!jacob
References: <90458@ncratl.AtlantaGA.NCR.COM>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!ariel.ucs.unimelb.EDU.AU!ucsvc.ucs.unimelb.edu.au!lugb!latcs1!latcs1.lat.OZ.AU!jacob
Newsgroups: comp.lang.prolog
Subject: Re: Prolog is declarative
Message-ID: <1993Jan22.023622.23284@latcs1.lat.oz.au>
From: jacob@latcs1.lat.OZ.AU (Jacob L. Cybulski)
Date: Fri, 22 Jan 1993 02:36:22 GMT
Sender: news@latcs1.lat.oz.au (news)
References: <90458@ncratl.AtlantaGA.NCR.COM>
Organization: Comp Sci, La Trobe Uni, Australia
Nntp-Posting-Host: latcs1.lat.oz.au
Lines: 26