Article View: comp.lang.prolog
Article #2398Re: Prolog is declarative
From: Jacob L. Cybulski
Date: Fri, 22 Jan 1993 02:36
Date: Fri, 22 Jan 1993 02:36
26 lines
1800 bytes
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!jacobReferences:
<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